Merge kernel closure conversion into the Dart SDK

pkg/kernel/test/type_unification_test.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:kernel/type_algebra.dart';
 import 'package:test/test.dart';
 import 'type_parser.dart';
 import 'dart:io';
 
 final List<TestCase> testCases = <TestCase>[
   successCase('List<T>', 'List<String>', {'T': 'String'}),
@@ skipping 25 matching lines @@
 
   successCase('<E>(E) => E', '<T>(T) => T', {}),
   successCase('<E>(E, S) => E', '<T>(T, int) => T', {'S': 'int'}),
   failureCase('<E>(E, S) => E', '<T>(T, T) => T', ['S']),
   successCase(
       '<E>(E) => <T>(T) => Map<E,T>', '<E>(E) => <T>(T) => Map<E,T>', {}),
   successCase('<E>(E,_) => E', '<T>(T,_) => T', {}),
 
   successCase('(x:int,y:String) => int', '(y:String,x:int) => int', {}),
   successCase('<S,T>(x:S,y:T) => S', '<S,T>(y:T,x:S) => S', {}),
-  successCase('(x:<T>(T)=>T,y:<S>(S)=>S) => int', '(y:<S>(S)=>S,x:<T>(T)=>T) => int', {}),
-  successCase('(x:<T>(T)=>T,y:<S>(S,S,S)=>S) => int', '(y:<S>(S,S,S)=>S,x:<T>(T)=>T) => int', {}),
+  successCase('(x:<T>(T)=>T,y:<S>(S)=>S) => int',
+      '(y:<S>(S)=>S,x:<T>(T)=>T) => int', {}),
+  successCase('(x:<T>(T)=>T,y:<S>(S,S,S)=>S) => int',
+      '(y:<S>(S,S,S)=>S,x:<T>(T)=>T) => int', {}),
 ];
 
 class TestCase {
   String type1;
   String type2;
   Iterable<String> quantifiedVariables;
   Map<String, String> expectedSubstitution; // Null if unification should fail.
 
   TestCase.success(this.type1, this.type2, this.expectedSubstitution) {
     quantifiedVariables = expectedSubstitution.keys;
@@ skipping 71 matching lines @@
         if (substitution != null) {
           reportFailure(testCase, 'Unification was supposed to fail');
         }
       }
     });
   }
   if (numFailures > 0) {
     exit(1);
   }
 }