Downward inference

test/dart_codegen/expect/async/stream_impl.dart

 part of dart.async;
  abstract class _EventSink<T> {void _add(T data);
  void _addError(Object error, StackTrace stackTrace);
  void _close();
 }
  abstract class _EventDispatch<T> {void _sendData(T data);
  void _sendError(Object error, StackTrace stackTrace);
  void _sendDone();
 }
  class _BufferingStreamSubscription<T> implements StreamSubscription<T>, _EventSink<T>, _EventDispatch<T> {static const int _STATE_CANCEL_ON_ERROR = 1;
@@ skipping 23 matching lines @@
 _state |= _STATE_HAS_PENDING;
  _pending.schedule(this);
 }
 }
  _PendingEvents _extractPending() {
 assert (_isCanceled); _PendingEvents events = _pending;
  _pending = null;
  return events;
 }
  void onData(void handleData(T event)) {
-if (handleData == null) handleData = DEVC$RT.wrap((void f(dynamic __u86)) {
+if (handleData == null) handleData = DEVC$RT.wrap((void f(dynamic __u77)) {
 void c(dynamic x0) => f(x0);
  return f == null ? null : c;
 }
-, _nullDataHandler, __t89, DEVC$RT.type((__t87<T> _) {
+, _nullDataHandler, __t80, DEVC$RT.type((__t78<T> _) {
 }
-), "Wrap", """line 153, column 42 of dart:async/stream_impl.dart: """, _nullDataHandler is __t87<T>);
- _onData = ((__x94) => DEVC$RT.wrap((dynamic f(dynamic __u91)) {
+), "Wrap", """line 153, column 42 of dart:async/stream_impl.dart: """, _nullDataHandler is __t78<T>);
+ _onData = ((__x85) => DEVC$RT.wrap((dynamic f(dynamic __u82)) {
 dynamic c(dynamic x0) => f(x0);
  return f == null ? null : c;
 }
-, __x94, __t92, DEVC$RT.type((__t87<T> _) {
+, __x85, __t83, DEVC$RT.type((__t78<T> _) {
 }
-), "Wrap", """line 154, column 15 of dart:async/stream_impl.dart: """, __x94 is __t87<T>))(_zone.registerUnaryCallback(handleData));
+), "Wrap", """line 154, column 15 of dart:async/stream_impl.dart: """, __x85 is __t78<T>))(_zone.registerUnaryCallback(handleData));
 }
  void onError(Function handleError) {
 if (handleError == null) handleError = _nullErrorHandler;
  _onError = _registerErrorHandler(handleError, _zone);
 }
  void onDone(void handleDone()) {
 if (handleDone == null) handleDone = _nullDoneHandler;
  _onDone = _zone.registerCallback(handleDone);
 }
  void pause([Future resumeSignal]) {
@@ skipping 110 matching lines @@
  _state |= _STATE_IN_CALLBACK;
  _zone.runUnaryGuarded(_onData, data);
  _state &= ~_STATE_IN_CALLBACK;
  _checkState(wasInputPaused);
 }
  void _sendError(var error, StackTrace stackTrace) {
 assert (!_isCanceled); assert (!_isPaused); assert (!_inCallback); bool wasInputPaused = _isInputPaused;
  void sendError() {
 if (_isCanceled && !_waitsForCancel) return; _state |= _STATE_IN_CALLBACK;
  if (_onError is ZoneBinaryCallback) {
-  _zone.runBinaryGuarded(DEVC$RT.cast(_onError, Function, __t95, "ImplicitCast", """line 358, column 32 of dart:async/stream_impl.dart: """, _onError is __t95, true), error, stackTrace);
+  _zone.runBinaryGuarded(DEVC$RT.cast(_onError, Function, __t86, "ImplicitCast", """line 358, column 32 of dart:async/stream_impl.dart: """, _onError is __t86, true), error, stackTrace);
   }
  else {
-  _zone.runUnaryGuarded(DEVC$RT.cast(_onError, Function, __t92, "ImplicitCast", """line 360, column 31 of dart:async/stream_impl.dart: """, _onError is __t92, true), error);
+  _zone.runUnaryGuarded(DEVC$RT.cast(_onError, Function, __t83, "ImplicitCast", """line 360, column 31 of dart:async/stream_impl.dart: """, _onError is __t83, true), error);
   }
  _state &= ~_STATE_IN_CALLBACK;
 }
  if (_cancelOnError) {
 _state |= _STATE_WAIT_FOR_CANCEL;
  _cancel();
  if (_cancelFuture is Future) {
   _cancelFuture.whenComplete(sendError);
   }
  else {
@@ skipping 259 matching lines @@
  if (isPaused) return; _state |= _DONE_SENT;
  if (_onDone != null) _zone.runGuarded(_onDone);
 }
 }
  class _AsBroadcastStream<T> extends Stream<T> {final Stream<T> _source;
  final _broadcastCallback _onListenHandler;
  final _broadcastCallback _onCancelHandler;
  final Zone _zone;
  _AsBroadcastStreamController<T> _controller;
  StreamSubscription<T> _subscription;
- _AsBroadcastStream(this._source, void onListenHandler(StreamSubscription subscription), void onCancelHandler(StreamSubscription subscription)) : _onListenHandler = ((__x101) => DEVC$RT.wrap((dynamic f(dynamic __u98)) {
+ _AsBroadcastStream(this._source, void onListenHandler(StreamSubscription subscription), void onCancelHandler(StreamSubscription subscription)) : _onListenHandler = ((__x92) => DEVC$RT.wrap((dynamic f(dynamic __u89)) {
 dynamic c(dynamic x0) => f(x0);
  return f == null ? null : c;
 }
-, __x101, __t92, __t99, "Wrap", """line 813, column 28 of dart:async/stream_impl.dart: """, __x101 is __t99))(Zone.current.registerUnaryCallback(onListenHandler)), _onCancelHandler = ((__x103) => DEVC$RT.wrap((dynamic f(dynamic __u102)) {
+, __x92, __t83, __t90, "Wrap", """line 813, column 28 of dart:async/stream_impl.dart: """, __x92 is __t90))(Zone.current.registerUnaryCallback(onListenHandler)), _onCancelHandler = ((__x94) => DEVC$RT.wrap((dynamic f(dynamic __u93)) {
 dynamic c(dynamic x0) => f(x0);
  return f == null ? null : c;
 }
-, __x103, __t92, __t99, "Wrap", """line 814, column 28 of dart:async/stream_impl.dart: """, __x103 is __t99))(Zone.current.registerUnaryCallback(onCancelHandler)), _zone = Zone.current {
+, __x94, __t83, __t90, "Wrap", """line 814, column 28 of dart:async/stream_impl.dart: """, __x94 is __t90))(Zone.current.registerUnaryCallback(onCancelHandler)), _zone = Zone.current {
 _controller = new _AsBroadcastStreamController<T>(_onListen, _onCancel);
 }
  bool get isBroadcast => true;
  StreamSubscription<T> listen(void onData(T data), {
 Function onError, void onDone(), bool cancelOnError}
 ) {
 if (_controller == null || _controller.isClosed) {
 return new _DoneStreamSubscription<T>(onDone);
 }
  if (_subscription == null) {
@@ skipping 159 matching lines @@
 }
 ), "CompositeCast", """line 1073, column 31 of dart:async/stream_impl.dart: """, _futureOrPrefetch is _Future<bool>, false);
  _clear();
  hasNext._complete(false);
  return;}
  _subscription.pause();
  _futureOrPrefetch = null;
  _state = _STATE_EXTRA_DONE;
 }
 }
- typedef void __t87<T>(T __u88);
- typedef void __t89(dynamic __u90);
- typedef dynamic __t92(dynamic __u93);
- typedef dynamic __t95(dynamic __u96, dynamic __u97);
- typedef void __t99(StreamSubscription<dynamic> __u100);
+ typedef void __t78<T>(T __u79);
+ typedef void __t80(dynamic __u81);
+ typedef dynamic __t83(dynamic __u84);
+ typedef dynamic __t86(dynamic __u87, dynamic __u88);
+ typedef void __t90(StreamSubscription<dynamic> __u91);