All strong mode cleaning of dart2js.

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 426 matching lines @@
 
   @override
   bool isBreakTarget = false;
 
   @override
   bool isContinueTarget = false;
 
   KernelJumpTarget(this.targetStatement, KernelAstAdapter adapter,
       {bool makeContinueLabel = false}) {
     originalStatement = targetStatement;
-    this.labels = <LabelDefinition>[];
+    this.labels = <LabelDefinition<ast.Node>>[];
     if (targetStatement is ir.WhileStatement ||
         targetStatement is ir.DoStatement ||
         targetStatement is ir.ForStatement ||
         targetStatement is ir.ForInStatement) {
       // Currently these labels are set at resolution on the element itself.
       // Once that gets updated, this logic can change downstream.
-      JumpTarget target = adapter.elements
+      JumpTarget<ast.Node> target = adapter.elements
           .getTargetDefinition(adapter.getNode(targetStatement));
       if (target != null) {
         labels.addAll(target.labels);
         isBreakTarget = target.isBreakTarget;
         isContinueTarget = target.isContinueTarget;
       }
     } else if (targetStatement is ir.LabeledStatement) {
       targetStatement = (targetStatement as ir.LabeledStatement).body;
       labels.add(
           new LabelDefinitionX(null, 'L${index++}', this)..setBreakTarget());
       isBreakTarget = true;
     }
     var originalNode = adapter.getNode(originalStatement);
     var originalTarget = adapter.elements.getTargetDefinition(originalNode);
     if (originalTarget != null) {
       nestingLevel = originalTarget.nestingLevel;
     } else {
       nestingLevel = 0;
     }
 
     if (makeContinueLabel) {
       labels.add(
           new LabelDefinitionX(null, 'L${index++}', this)..setContinueTarget());
       isContinueTarget = true;
     }
   }
 
   @override
-  LabelDefinition addLabel(ast.Label label, String labelName) {
+  LabelDefinition<ast.Node> addLabel(ast.Label label, String labelName) {
     LabelDefinition result = new LabelDefinitionX(label, labelName, this);
     labels.add(result);
     return result;
   }
 
   @override
   ExecutableElement get executableContext => null;
 
   @override
   MemberElement get memberContext => null;
 
   @override
   bool get isSwitch => targetStatement is ir.SwitchStatement;
 
   @override
   bool get isTarget => isBreakTarget || isContinueTarget;
 
   @override
-  List<LabelDefinition> labels;
+  List<LabelDefinition<ast.Node>> labels;
 
   @override
   String get name => 'target';
 
   @override
-  ast.Node get statement => null;
+  ast.Label get statement => null;
 
   String toString() => 'Target:$targetStatement';
 }
 
 /// Special [JumpHandler] implementation used to handle continue statements
 /// targeting switch cases.
 class KernelSwitchCaseJumpHandler extends SwitchCaseJumpHandler {
   KernelSwitchCaseJumpHandler(GraphBuilder builder, JumpTarget target,
       ir.SwitchStatement switchStatement, KernelToLocalsMap localsMap)
       : super(builder, target) {
@@ skipping 124 matching lines @@
   TypeMask selectorTypeOf(Selector selector, TypeMask mask) {
     return TypeMaskFactory.inferredTypeForSelector(
         selector, mask, _globalInferenceResults);
   }
 
   TypeMask typeFromNativeBehavior(
       native.NativeBehavior nativeBehavior, ClosedWorld closedWorld) {
     return TypeMaskFactory.fromNativeBehavior(nativeBehavior, closedWorld);
   }
 }