Downward inference

test/dart_codegen/expect/async/future.dart

 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(() {
     try {
       result._complete(computation());
       }
      catch (e, s) {
       _completeWithErrorCallback(result, e, s);
       }
     }
@@ skipping 113 matching lines @@
           );
           }
          if (remaining == 0 && !eagerError) {
           result._completeError(error, stackTrace);
           }
         }
       }
     , 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;
   }
  static Future forEach(Iterable input, f(element)) {
   Iterator iterator = input.iterator;
    return doWhile(() {
     if (!iterator.moveNext()) return false;
      return new Future.sync(() => f(iterator.current)).then((_) => true);
     }
   );
   }
  static Future doWhile(f()) {
   _Future doneSignal = new _Future();
    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);
       }
     }
   , runGuarded: true);
    nextIteration(true);
    return doneSignal;
   }
  Future then(onValue(T value), {
@@ skipping 27 matching lines @@
 }
  void _completeWithErrorCallback(_Future result, error, stackTrace) {
 AsyncError replacement = Zone.current.errorCallback(error, DEVC$RT.cast(stackTrace, dynamic, StackTrace, "DynamicCast", """line 719, column 62 of dart:async/future.dart: """, stackTrace is StackTrace, true));
  if (replacement != null) {
 error = _nonNullError(replacement.error);
  stackTrace = replacement.stackTrace;
 }
  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);