Downward inference

test/dart_codegen/expect/async/future.dart

Index: test/dart_codegen/expect/async/future.dart
diff --git a/test/dart_codegen/expect/async/future.dart b/test/dart_codegen/expect/async/future.dart
index 5be13a350293a7f989031f2f2dc194cc6ef52fd3..01de6fa0d9ae77ef23dbf1cdacdb8311791449a7 100644
--- a/test/dart_codegen/expect/async/future.dart
+++ b/test/dart_codegen/expect/async/future.dart
@@ -1,9 +1,9 @@
 part of dart.async;
- abstract class Future<T> {static final _Future _nullFuture = ((__x10) => DEVC$RT.cast(__x10, DEVC$RT.type((Future<dynamic> _) {
+ abstract class Future<T> {static final _Future _nullFuture = ((__x9) => DEVC$RT.cast(__x9, DEVC$RT.type((Future<dynamic> _) {
   }
 ), DEVC$RT.type((_Future<dynamic> _) {
   }
-), "InferableAllocation", """line 98, column 38 of dart:async/future.dart: """, __x10 is _Future<dynamic>, true))(new Future.value(null));
+), "InferableAllocation", """line 98, column 38 of dart:async/future.dart: """, __x9 is _Future<dynamic>, true))(new Future.value(null));
  factory Future(computation()) {
   _Future result = new _Future<T>();
    Timer.run(() {
@@ -137,11 +137,7 @@ part of dart.async;
     , onError: handleError);
     }
    if (remaining == 0) {
-    return ((__x11) => DEVC$RT.cast(__x11, DEVC$RT.type((Future<dynamic> _) {
-      }
-    ), DEVC$RT.type((Future<List<dynamic>> _) {
-      }
-    ), "InferableAllocation", """line 313, column 14 of dart:async/future.dart: """, __x11 is Future<List<dynamic>>, false))(new Future.value(const []));
+    return new Future<List<dynamic>>.value(const []);
     }
    values = new List(remaining);
    return result;
@@ -159,7 +155,7 @@ part of dart.async;
    var nextIteration;
    nextIteration = Zone.current.bindUnaryCallback((bool keepGoing) {
     if (keepGoing) {
-      new Future.sync(f).then(DEVC$RT.cast(nextIteration, dynamic, __t12, "DynamicCast", """line 361, column 33 of dart:async/future.dart: """, nextIteration is __t12, true), onError: doneSignal._completeError);
+      new Future.sync(f).then(DEVC$RT.cast(nextIteration, dynamic, __t10, "DynamicCast", """line 361, column 33 of dart:async/future.dart: """, nextIteration is __t10, true), onError: doneSignal._completeError);
       }
      else {
       doneSignal._complete(null);
@@ -207,4 +203,4 @@ error = _nonNullError(replacement.error);
  result._completeError(error, DEVC$RT.cast(stackTrace, dynamic, StackTrace, "DynamicCast", """line 724, column 32 of dart:async/future.dart: """, stackTrace is StackTrace, true));
 }
  Object _nonNullError(Object error) => (error != null) ? error : new NullThrownError();
- typedef dynamic __t12(dynamic __u13);
+ typedef dynamic __t10(dynamic __u11);