Merge kernel closure conversion into the Dart SDK

pkg/kernel/lib/type_propagation/type_propagation.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.
 library kernel.type_propagation;
 
 import '../ast.dart';
 import '../class_hierarchy.dart';
 import '../core_types.dart';
 import 'builder.dart';
 import 'solver.dart';
@@ skipping 33 matching lines @@
     return solver.getValueInferredForVariable(variable);
   }
 
   InferredValue getParameterValue(VariableDeclaration node) {
     int variable = builder.global.parameters[node];
     if (variable == null) return null;
     return solver.getValueInferredForVariable(variable);
   }
 }
 
-enum BaseClassKind { None, Exact, Subclass, Subtype, }
+enum BaseClassKind {
+  None,
+  Exact,
+  Subclass,
+  Subtype,
+}
 
 /// An abstract value inferred by type propagation.
 ///
 /// Inferred values consist of two parts that each represent a set of values:
 /// its base class and its bitmask.  The InferredValue object represents the
 /// intersection of these two value sets.
 class InferredValue extends Node {
   final Class baseClass;
   final BaseClassKind baseClassKind;
 
@@ skipping 83 matching lines @@
     if (bitmask == all) return '{*}';
     List<String> list = <String>[];
     for (int i = 0; i < numberOfBits; ++i) {
       if (bitmask & (1 << i) != 0) {
         list.add(names[1 << i] ?? '?');
       }
     }
     return '{${list.join(",")}}';
   }
 }