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..657fad42c5c40b1a36ac8fdf6b16a3a14d8e992e 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,11 @@ part of dart.async;
     , onError: handleError);
     }
    if (remaining == 0) {
-    return ((__x11) => DEVC$RT.cast(__x11, DEVC$RT.type((Future<dynamic> _) {
+    return ((__x10) => DEVC$RT.cast(__x10, 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 []));
+    ), "InferableAllocation", """line 313, column 14 of dart:async/future.dart: """, __x10 is Future<List<dynamic>>, false))(new Future.value(const []));
     }
    values = new List(remaining);
    return result;
@@ -159,7 +159,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, __t11, "DynamicCast", """line 361, column 33 of dart:async/future.dart: """, nextIteration is __t11, true), onError: doneSignal._completeError);
       }
      else {
       doneSignal._complete(null);
@@ -207,4 +207,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 __t11(dynamic __u12);