Downward inference

test/dart_codegen/expect/async/stream_transformers.dart

Index: test/dart_codegen/expect/async/stream_transformers.dart
diff --git a/test/dart_codegen/expect/async/stream_transformers.dart b/test/dart_codegen/expect/async/stream_transformers.dart
index c2ff342cb32eb646f28feb45c39ecc5d8225ab9b..3303b8ddee42858a334d571e7fe4e23fe4ad2891 100644
--- a/test/dart_codegen/expect/async/stream_transformers.dart
+++ b/test/dart_codegen/expect/async/stream_transformers.dart
@@ -95,11 +95,11 @@ try {
 Function onError, void onDone(), bool cancelOnError}
 ) {
 cancelOnError = identical(true, cancelOnError);
- StreamSubscription<T> subscription = ((__x105) => DEVC$RT.cast(__x105, DEVC$RT.type((_SinkTransformerStreamSubscription<dynamic, dynamic> _) {
+ StreamSubscription<T> subscription = ((__x95) => DEVC$RT.cast(__x95, DEVC$RT.type((_SinkTransformerStreamSubscription<dynamic, dynamic> _) {
 }
 ), DEVC$RT.type((StreamSubscription<T> _) {
 }
-), "InferableAllocation", """line 186, column 42 of dart:async/stream_transformers.dart: """, __x105 is StreamSubscription<T>, false))(new _SinkTransformerStreamSubscription(_stream, DEVC$RT.wrap((EventSink<S> f(EventSink<T> __u106)) {
+), "InferableAllocation", """line 186, column 42 of dart:async/stream_transformers.dart: """, __x95 is StreamSubscription<T>, false))(new _SinkTransformerStreamSubscription(_stream, DEVC$RT.wrap((EventSink<S> f(EventSink<T> __u96)) {
 EventSink<S> c(EventSink<T> x0) => f(DEVC$RT.cast(x0, DEVC$RT.type((EventSink<dynamic> _) {
 }
 ), DEVC$RT.type((EventSink<T> _) {
@@ -107,9 +107,9 @@ EventSink<S> c(EventSink<T> x0) => f(DEVC$RT.cast(x0, DEVC$RT.type((EventSink<dy
 ), "CastParam", """line 187, column 18 of dart:async/stream_transformers.dart: """, x0 is EventSink<T>, false));
  return f == null ? null : c;
 }
-, _sinkMapper, DEVC$RT.type((__t109<T, S> _) {
+, _sinkMapper, DEVC$RT.type((__t99<T, S> _) {
 }
-), __t107, "Wrap", """line 187, column 18 of dart:async/stream_transformers.dart: """, _sinkMapper is __t107), onData, onError, onDone, cancelOnError));
+), __t97, "Wrap", """line 187, column 18 of dart:async/stream_transformers.dart: """, _sinkMapper is __t97), onData, onError, onDone, cancelOnError));
  return subscription;
 }
 }
@@ -127,31 +127,31 @@ EventSink<S> c(EventSink<T> x0) => f(DEVC$RT.cast(x0, DEVC$RT.type((EventSink<dy
 }
  class _StreamHandlerTransformer<S, T> extends _StreamSinkTransformer<S, T> {_StreamHandlerTransformer({
 void handleData(S data, EventSink<T> sink), void handleError(Object error, StackTrace stackTrace, EventSink<T> sink), void handleDone(EventSink<T> sink)}
-) : super(((__x117) => DEVC$RT.wrap((dynamic f(EventSink<T> __u112)) {
-dynamic c(EventSink<T> x0) => ((__x111) => DEVC$RT.cast(__x111, dynamic, DEVC$RT.type((EventSink<S> _) {
+) : super(((__x107) => DEVC$RT.wrap((dynamic f(EventSink<T> __u102)) {
+dynamic c(EventSink<T> x0) => ((__x101) => DEVC$RT.cast(__x101, dynamic, DEVC$RT.type((EventSink<S> _) {
 }
-), "CastResult", """line 233, column 15 of dart:async/stream_transformers.dart: """, __x111 is EventSink<S>, false))(f(x0));
+), "CastResult", """line 233, column 15 of dart:async/stream_transformers.dart: """, __x101 is EventSink<S>, false))(f(x0));
  return f == null ? null : c;
 }
-, __x117, DEVC$RT.type((__t115<T> _) {
+, __x107, DEVC$RT.type((__t105<T> _) {
 }
-), DEVC$RT.type((__t113<T, S> _) {
+), DEVC$RT.type((__t103<T, S> _) {
 }
-), "WrapLiteral", """line 233, column 15 of dart:async/stream_transformers.dart: """, __x117 is __t113<T, S>))((EventSink<T> outputSink) {
-if (handleData == null) handleData = DEVC$RT.wrap((void f(dynamic __u118, EventSink<dynamic> __u119)) {
+), "WrapLiteral", """line 233, column 15 of dart:async/stream_transformers.dart: """, __x107 is __t103<T, S>))((EventSink<T> outputSink) {
+if (handleData == null) handleData = DEVC$RT.wrap((void f(dynamic __u108, EventSink<dynamic> __u109)) {
 void c(dynamic x0, EventSink<dynamic> x1) => f(x0, x1);
  return f == null ? null : c;
 }
-, _defaultHandleData, __t123, DEVC$RT.type((__t120<S, T> _) {
+, _defaultHandleData, __t113, DEVC$RT.type((__t110<S, T> _) {
 }
-), "Wrap", """line 234, column 48 of dart:async/stream_transformers.dart: """, _defaultHandleData is __t120<S, T>);
- if (handleError == null) handleError = DEVC$RT.wrap((void f(dynamic __u126, StackTrace __u127, EventSink<dynamic> __u128)) {
+), "Wrap", """line 234, column 48 of dart:async/stream_transformers.dart: """, _defaultHandleData is __t110<S, T>);
+ if (handleError == null) handleError = DEVC$RT.wrap((void f(dynamic __u116, StackTrace __u117, EventSink<dynamic> __u118)) {
 void c(dynamic x0, StackTrace x1, EventSink<dynamic> x2) => f(x0, x1, x2);
  return f == null ? null : c;
 }
-, _defaultHandleError, __t133, DEVC$RT.type((__t129<T> _) {
+, _defaultHandleError, __t123, DEVC$RT.type((__t119<T> _) {
 }
-), "Wrap", """line 235, column 50 of dart:async/stream_transformers.dart: """, _defaultHandleError is __t129<T>);
+), "Wrap", """line 235, column 50 of dart:async/stream_transformers.dart: """, _defaultHandleError is __t119<T>);
  if (handleDone == null) handleDone = _defaultHandleDone;
  return new _HandlerEventSink<S, T>(handleData, handleError, handleDone, outputSink);
 }
@@ -188,11 +188,11 @@ cancelOnError = identical(true, cancelOnError);
  return result;
 }
 }
- typedef EventSink<dynamic> __t107(EventSink<dynamic> __u108);
- typedef EventSink<S> __t109<T, S>(EventSink<T> __u110);
- typedef EventSink<S> __t113<T, S>(EventSink<T> __u114);
- typedef dynamic __t115<T>(EventSink<T> __u116);
- typedef void __t120<S, T>(S __u121, EventSink<T> __u122);
- typedef void __t123(dynamic __u124, EventSink<dynamic> __u125);
- typedef void __t129<T>(Object __u130, StackTrace __u131, EventSink<T> __u132);
- typedef void __t133(dynamic __u134, StackTrace __u135, EventSink<dynamic> __u136);
+ typedef EventSink<dynamic> __t97(EventSink<dynamic> __u98);
+ typedef EventSink<S> __t99<T, S>(EventSink<T> __u100);
+ typedef EventSink<S> __t103<T, S>(EventSink<T> __u104);
+ typedef dynamic __t105<T>(EventSink<T> __u106);
+ typedef void __t110<S, T>(S __u111, EventSink<T> __u112);
+ typedef void __t113(dynamic __u114, EventSink<dynamic> __u115);
+ typedef void __t119<T>(Object __u120, StackTrace __u121, EventSink<T> __u122);
+ typedef void __t123(dynamic __u124, StackTrace __u125, EventSink<dynamic> __u126);