Merge kernel closure conversion into the Dart SDK

pkg/kernel/test/type_propagation_selfcheck.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.selfcheck;
 
 import 'dart:io';
 import 'package:kernel/core_types.dart';
 import 'package:kernel/kernel.dart';
 import 'package:kernel/type_propagation/type_propagation.dart';
 
@@ skipping 137 matching lines @@
 
     // List of conditions that all must hold.  For each zero bit we know that
     // type of value is not allowed to occur.
     List<Expression> allChecks = <Expression>[];
 
     // List of condition of which one must hold.  This is used for checking the
     // [ValueBit.other] bit.  For each one bit, we know that type of value
     // is allowed to occur.  We use this because it is hard to check directly
     // that a value is of the 'other' type.
     bool disallowOtherValues = expected.valueBits & ValueBit.other == 0;
-    List<Expression> anyChecks = disallowOtherValues
-        ? <Expression>[]
-        : null;
+    List<Expression> anyChecks = disallowOtherValues ? <Expression>[] : null;
 
     void checkType(int bit, DartType type) {
       if (expected.valueBits & bit == 0) {
         allChecks
             .add(new Not(new IsExpression(new VariableGet(variable), type)));
       } else if (disallowOtherValues) {
         anyChecks.add(new IsExpression(new VariableGet(variable), type));
       }
     }
 
     checkType(ValueBit.integer, coreTypes.intClass.rawType);
     checkType(ValueBit.double_, coreTypes.doubleClass.rawType);
     checkType(ValueBit.string, coreTypes.stringClass.rawType);
     checkType(ValueBit.null_, coreTypes.nullClass.rawType);
 
     if (disallowOtherValues) {
       Expression any =
           anyChecks.reduce((e1, e2) => new LogicalExpression(e1, '||', e2));
       allChecks.add(any);
     }
     return allChecks.isEmpty
         ? new BoolLiteral(true)
         : allChecks.reduce((e1, e2) => new LogicalExpression(e1, '&&', e2));
   }
 }