Downward inference

test/dart_codegen/expect/async/timer.dart

Index: test/dart_codegen/expect/async/timer.dart
diff --git a/test/dart_codegen/expect/async/timer.dart b/test/dart_codegen/expect/async/timer.dart
index 2a87bef06a847a59028b78c14a117eccfb7cf838..2be3024ce67f96693b174ac9e3adb8185885da5e 100644
--- a/test/dart_codegen/expect/async/timer.dart
+++ b/test/dart_codegen/expect/async/timer.dart
@@ -9,11 +9,11 @@ part of dart.async;
   if (Zone.current == Zone.ROOT) {
     return Zone.current.createPeriodicTimer(duration, callback);
     }
-   return Zone.current.createPeriodicTimer(duration, ((__x142) => DEVC$RT.wrap((dynamic f(dynamic __u137)) {
+   return Zone.current.createPeriodicTimer(duration, ((__x132) => DEVC$RT.wrap((dynamic f(dynamic __u127)) {
     dynamic c(dynamic x0) => f(x0);
      return f == null ? null : c;
     }
-  , __x142, __t140, __t138, "Wrap", """line 80, column 19 of dart:async/timer.dart: """, __x142 is __t138))(Zone.current.bindUnaryCallback(callback, runGuarded: true)));
+  , __x132, __t130, __t128, "Wrap", """line 80, column 19 of dart:async/timer.dart: """, __x132 is __t128))(Zone.current.bindUnaryCallback(callback, runGuarded: true)));
   }
  static void run(void callback()) {
   new Timer(Duration.ZERO, callback);
@@ -23,5 +23,5 @@ part of dart.async;
  external static Timer _createTimer(Duration duration, void callback());
  external static Timer _createPeriodicTimer(Duration duration, void callback(Timer timer));
 }
- typedef void __t138(Timer __u139);
- typedef dynamic __t140(dynamic __u141);
+ typedef void __t128(Timer __u129);
+ typedef dynamic __t130(dynamic __u131);