Implement super initializers.

frog/leg/ssa/closure.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 class ClosureFieldElement extends Element {
   ClosureFieldElement(SourceString name, ClassElement enclosing)
       : super(name, ElementKind.FIELD, enclosing);
 
   bool isInstanceMember() => true;
   bool isAssignable() => false;
@@ skipping 129 matching lines @@
             new ClosureFieldElement(boxElement.name, closureElement);
         closureElement.backendMembers =
             closureElement.backendMembers.prepend(fieldElement);
         data.capturedFieldMapping[fieldElement] = boxElement;
         freeVariableMapping[boxElement] = fieldElement;
       }
     }
   }
 
   void useLocal(Element element) {
-    if (element.enclosingElement != currentFunctionElement) {
+    // TODO(floitsch): replace this with a general solution.
+    Element functionElement = currentFunctionElement;
+    if (functionElement.kind === ElementKind.GENERATIVE_CONSTRUCTOR_BODY) {
+      ConstructorBodyElement body = functionElement;
+      functionElement = body.constructor;
+    }
+    if (element.enclosingElement != functionElement) {
       assert(closureData.freeVariableMapping[element] == null ||
              closureData.freeVariableMapping[element] == element);
       closureData.freeVariableMapping[element] = element;
     } else if (inTryCatchOrFinally) {
       // TODO(ngeoffray): only do this if the variable is mutated.
       closureData.usedVariablesInTry.add(element);
     }
   }
 
   void declareLocal(Element element) {
@@ skipping 154 matching lines @@
     }
   }
 
   visitTryStatement(TryStatement node) {
     // TODO(ngeoffray): implement finer grain state.
     inTryCatchOrFinally = true;
     node.visitChildren(this);
     inTryCatchOrFinally = false;
   }
 }