Downward inference

test/dart_codegen/expect/async/future_impl.dart

 part of dart.async;
  typedef dynamic _FutureOnValue<T>(T value);
  typedef bool _FutureErrorTest(var error);
  typedef _FutureAction();
  abstract class _Completer<T> implements Completer<T> {final _Future<T> future = new _Future<T>();
  void complete([value]);
  void completeError(Object error, [StackTrace stackTrace]) {
   error = _nonNullError(error);
    if (!future._mayComplete) throw new StateError("Future already completed");
    AsyncError replacement = Zone.current.errorCallback(error, stackTrace);
@@ skipping 40 matching lines @@
  _FutureListener.then(this.result, _FutureOnValue onValue, Function errorCallback) : callback = onValue, errorCallback = errorCallback, state = (errorCallback == null) ? STATE_THEN : STATE_THEN_ONERROR;
  _FutureListener.catchError(this.result, this.errorCallback, _FutureErrorTest test) : callback = test, state = (test == null) ? STATE_CATCHERROR : STATE_CATCHERROR_TEST;
  _FutureListener.whenComplete(this.result, _FutureAction onComplete) : callback = onComplete, errorCallback = null, state = STATE_WHENCOMPLETE;
  _FutureListener.chain(this.result) : callback = null, errorCallback = null, state = STATE_CHAIN;
  Zone get _zone => result._zone;
  bool get handlesValue => (state & MASK_VALUE != 0);
  bool get handlesError => (state & MASK_ERROR != 0);
  bool get hasErrorTest => (state == STATE_CATCHERROR_TEST);
  bool get handlesComplete => (state == STATE_WHENCOMPLETE);
  _FutureOnValue get _onValue {
-assert (handlesValue); return DEVC$RT.cast(callback, Function, __t14, "ImplicitCast", """line 112, column 12 of dart:async/future_impl.dart: """, callback is __t14, true);
+assert (handlesValue); return DEVC$RT.cast(callback, Function, __t11, "ImplicitCast", """line 112, column 12 of dart:async/future_impl.dart: """, callback is __t11, true);
 }
  Function get _onError => errorCallback;
  _FutureErrorTest get _errorTest {
-assert (hasErrorTest); return DEVC$RT.cast(callback, Function, __t16, "CompositeCast", """line 117, column 12 of dart:async/future_impl.dart: """, callback is __t16, false);
+assert (hasErrorTest); return DEVC$RT.cast(callback, Function, __t13, "CompositeCast", """line 117, column 12 of dart:async/future_impl.dart: """, callback is __t13, false);
 }
  _FutureAction get _whenCompleteAction {
-assert (handlesComplete); return DEVC$RT.cast(callback, Function, __t18, "ImplicitCast", """line 121, column 12 of dart:async/future_impl.dart: """, callback is __t18, true);
+assert (handlesComplete); return DEVC$RT.cast(callback, Function, __t15, "ImplicitCast", """line 121, column 12 of dart:async/future_impl.dart: """, callback is __t15, true);
 }
 }
  class _Future<T> implements Future<T> {static const int _INCOMPLETE = 0;
  static const int _PENDING_COMPLETE = 1;
  static const int _CHAINED = 2;
  static const int _VALUE = 4;
  static const int _ERROR = 8;
  int _state = _INCOMPLETE;
  final Zone _zone = Zone.current;
  var _resultOrListeners;
@@ skipping 15 matching lines @@
 }
  else {
 assert (_isChained); _state = _INCOMPLETE;
 }
 }
  Future then(f(T value), {
 Function onError}
 ) {
 _Future result = new _Future();
  if (!identical(result._zone, _ROOT_ZONE)) {
-f = ((__x22) => DEVC$RT.wrap((dynamic f(dynamic __u19)) {
+f = ((__x19) => DEVC$RT.wrap((dynamic f(dynamic __u16)) {
 dynamic c(dynamic x0) => f(x0);
  return f == null ? null : c;
 }
-, __x22, __t14, DEVC$RT.type((__t20<T> _) {
+, __x19, __t11, DEVC$RT.type((__t17<T> _) {
 }
-), "Wrap", """line 208, column 11 of dart:async/future_impl.dart: """, __x22 is __t20<T>))(result._zone.registerUnaryCallback(f));
+), "Wrap", """line 208, column 11 of dart:async/future_impl.dart: """, __x19 is __t17<T>))(result._zone.registerUnaryCallback(f));
  if (onError != null) {
 onError = _registerErrorHandler(onError, result._zone);
 }
 }
  _addListener(new _FutureListener.then(result, f, onError));
  return result;
 }
  Future catchError(Function onError, {
 bool test(error)}
 ) {
 _Future result = new _Future();
  if (!identical(result._zone, _ROOT_ZONE)) {
 onError = _registerErrorHandler(onError, result._zone);
- if (test != null) test = ((__x25) => DEVC$RT.wrap((dynamic f(dynamic __u24)) {
-dynamic c(dynamic x0) => ((__x23) => DEVC$RT.cast(__x23, dynamic, bool, "CastResult", """line 221, column 32 of dart:async/future_impl.dart: """, __x23 is bool, true))(f(x0));
+ if (test != null) test = ((__x22) => DEVC$RT.wrap((dynamic f(dynamic __u21)) {
+dynamic c(dynamic x0) => ((__x20) => DEVC$RT.cast(__x20, dynamic, bool, "CastResult", """line 221, column 32 of dart:async/future_impl.dart: """, __x20 is bool, true))(f(x0));
  return f == null ? null : c;
 }
-, __x25, __t14, __t16, "Wrap", """line 221, column 32 of dart:async/future_impl.dart: """, __x25 is __t16))(result._zone.registerUnaryCallback(test));
+, __x22, __t11, __t13, "Wrap", """line 221, column 32 of dart:async/future_impl.dart: """, __x22 is __t13))(result._zone.registerUnaryCallback(test));
 }
  _addListener(new _FutureListener.catchError(result, onError, test));
  return result;
 }
  Future<T> whenComplete(action()) {
 _Future result = new _Future<T>();
  if (!identical(result._zone, _ROOT_ZONE)) {
 action = result._zone.registerCallback(action);
 }
  _addListener(new _FutureListener.whenComplete(result, action));
  return DEVC$RT.cast(result, DEVC$RT.type((_Future<dynamic> _) {
 }
 ), DEVC$RT.type((Future<T> _) {
 }
 ), "CompositeCast", """line 233, column 12 of dart:async/future_impl.dart: """, result is Future<T>, false);
 }
- Stream<T> asStream() => ((__x26) => DEVC$RT.cast(__x26, DEVC$RT.type((Stream<dynamic> _) {
-}
-), DEVC$RT.type((Stream<T> _) {
-}
-), "InferableAllocation", """line 236, column 27 of dart:async/future_impl.dart: """, __x26 is Stream<T>, false))(new Stream.fromFuture(this));
+ Stream<T> asStream() => new Stream<T>.fromFuture(this);
  void _markPendingCompletion() {
 if (!_mayComplete) throw new StateError("Future already completed");
  _state = _PENDING_COMPLETE;
 }
  T get _value {
 assert (_isComplete && _hasValue); return DEVC$RT.cast(_resultOrListeners, dynamic, T, "CompositeCast", """line 245, column 12 of dart:async/future_impl.dart: """, _resultOrListeners is T, false);
 }
  AsyncError get _error {
 assert (_isComplete && _hasError); return DEVC$RT.cast(_resultOrListeners, dynamic, AsyncError, "DynamicCast", """line 250, column 12 of dart:async/future_impl.dart: """, _resultOrListeners is AsyncError, true);
 }
@@ skipping 164 matching lines @@
   listenerValueOrError = new AsyncError(e, s);
    return false;
   }
 }
  void handleError() {
 AsyncError asyncError = source._error;
  bool matchesTest = true;
  if (listener.hasErrorTest) {
   _FutureErrorTest test = listener._errorTest;
    try {
-    matchesTest = ((__x27) => DEVC$RT.cast(__x27, dynamic, bool, "DynamicCast", """line 499, column 29 of dart:async/future_impl.dart: """, __x27 is bool, true))(zone.runUnary(test, asyncError.error));
+    matchesTest = ((__x23) => DEVC$RT.cast(__x23, dynamic, bool, "DynamicCast", """line 499, column 29 of dart:async/future_impl.dart: """, __x23 is bool, true))(zone.runUnary(test, asyncError.error));
     }
    catch (e, s) {
     listenerValueOrError = identical(asyncError.error, e) ? asyncError : new AsyncError(e, s);
      listenerHasValue = false;
      return;}
   }
  Function errorCallback = listener._onError;
  if (matchesTest && errorCallback != null) {
   try {
     if (errorCallback is ZoneBinaryCallback) {
       listenerValueOrError = zone.runBinary(errorCallback, asyncError.error, asyncError.stackTrace);
       }
      else {
-      listenerValueOrError = zone.runUnary(DEVC$RT.cast(errorCallback, Function, __t14, "ImplicitCast", """line 515, column 54 of dart:async/future_impl.dart: """, errorCallback is __t14, true), asyncError.error);
+      listenerValueOrError = zone.runUnary(DEVC$RT.cast(errorCallback, Function, __t11, "ImplicitCast", """line 515, column 54 of dart:async/future_impl.dart: """, errorCallback is __t11, true), asyncError.error);
       }
     }
    catch (e, s) {
     listenerValueOrError = identical(asyncError.error, e) ? asyncError : new AsyncError(e, s);
      listenerHasValue = false;
      return;}
    listenerHasValue = true;
   }
  else {
   listenerValueOrError = asyncError;
@@ skipping 112 matching lines @@
 , onError: (e, s) {
 if (timer.isActive) {
 timer.cancel();
  result._completeError(e, DEVC$RT.cast(s, dynamic, StackTrace, "DynamicCast", """line 646, column 34 of dart:async/future_impl.dart: """, s is StackTrace, true));
 }
 }
 );
  return result;
 }
 }
- typedef dynamic __t14(dynamic __u15);
- typedef bool __t16(dynamic __u17);
- typedef dynamic __t18();
- typedef dynamic __t20<T>(T __u21);
+ typedef dynamic __t11(dynamic __u12);
+ typedef bool __t13(dynamic __u14);
+ typedef dynamic __t15();
+ typedef dynamic __t17<T>(T __u18);