dart2js-kernel: Bind type variables in generative constructor.

pkg/compiler/lib/src/ssa/kernel_ast_adapter.dart

 // Copyright (c) 2016, 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.
 
 import 'package:js_runtime/shared/embedded_names.dart';
 import 'package:kernel/ast.dart' as ir;
 
 import '../closure.dart';
 import '../common.dart';
 import '../compiler.dart';
@@ skipping 115 matching lines @@
     _resolvedAstStack.add(_resolvedAst);
     _resolvedAst = (getElement(node) as AstElement).resolvedAst;
   }
 
   /// Pop the resolved AST stack to reset it to the previous resolved AST node.
   void popResolvedAstStack() {
     assert(_resolvedAstStack.isNotEmpty);
     _resolvedAst = _resolvedAstStack.removeLast();
   }
 
+  void assertAtResolvedAstFor(ir.Node node) {
+    assert(invariant(getElement(node),
+        _resolvedAst.element == getElement(node).declaration));
+  }
+
   Compiler get _compiler => _backend.compiler;
   TreeElements get elements => _resolvedAst.elements;
   DiagnosticReporter get reporter => _compiler.reporter;
   MemberElement get _target => _resolvedAst.element;
 
   GlobalTypeInferenceResults get _globalInferenceResults =>
       _compiler.globalInference.results;
 
   GlobalTypeInferenceElementResult _resultOf(MemberElement e) =>
       _globalInferenceResults
@@ skipping 676 matching lines @@
       JumpTarget continueTarget =
           astAdapter.getJumpTarget(switchCase, isContinueTarget: true);
       assert(continueTarget is KernelJumpTarget);
       targetIndexMap[continueTarget] = switchIndex;
       assert(builder.jumpTargets[continueTarget] == null);
       builder.jumpTargets[continueTarget] = this;
       switchIndex++;
     }
   }
 }