Typecheck constructor initializers properly

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 94 matching lines @@
 dynamic c(T x0) => f(DDC$RT.cast(x0, dynamic, T, "CastParam", """line 208, column 46 of dart:async/future_impl.dart: """, x0 is T, false));
  return f == null ? null : c;
 }
 , f, DDC$RT.type((__t28<T> _) {
 }
 ), __t22, "Wrap", """line 208, column 46 of dart:async/future_impl.dart: """, f is __t22));
  if (onError != null) {
 onError = _registerErrorHandler(onError, result._zone);
 }
 }
- _addListener(new _FutureListener.then(result, f, onError));
+ _addListener(new _FutureListener.then(result, DDC$RT.wrap((dynamic f(T __u30)) {
+dynamic c(T x0) => f(DDC$RT.cast(x0, dynamic, T, "CastParam", """line 213, column 51 of dart:async/future_impl.dart: """, x0 is T, false));
+ return f == null ? null : c;
+}
+, f, DDC$RT.type((__t28<T> _) {
+}
+), __t22, "Wrap", """line 213, column 51 of dart:async/future_impl.dart: """, f is __t22), 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 = ((__x32) => DDC$RT.wrap((dynamic f(dynamic __u31)) {
-dynamic c(dynamic x0) => ((__x30) => DDC$RT.cast(__x30, dynamic, bool, "CastResult", """line 221, column 32 of dart:async/future_impl.dart: """, __x30 is bool, true))(f(x0));
+ if (test != null) test = ((__x33) => DDC$RT.wrap((dynamic f(dynamic __u32)) {
+dynamic c(dynamic x0) => ((__x31) => DDC$RT.cast(__x31, dynamic, bool, "CastResult", """line 221, column 32 of dart:async/future_impl.dart: """, __x31 is bool, true))(f(x0));
  return f == null ? null : c;
 }
-, __x32, __t22, __t24, "Wrap", """line 221, column 32 of dart:async/future_impl.dart: """, __x32 is __t24))(result._zone.registerUnaryCallback(test));
+, __x33, __t22, __t24, "Wrap", """line 221, column 32 of dart:async/future_impl.dart: """, __x33 is __t24))(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 DDC$RT.cast(result, DDC$RT.type((_Future<dynamic> _) {
 }
 ), DDC$RT.type((Future<T> _) {
 }
 ), "CastDynamic", """line 233, column 12 of dart:async/future_impl.dart: """, result is Future<T>, false);
 }
- Stream<T> asStream() => ((__x33) => DDC$RT.cast(__x33, DDC$RT.type((Stream<dynamic> _) {
+ Stream<T> asStream() => ((__x34) => DDC$RT.cast(__x34, DDC$RT.type((Stream<dynamic> _) {
 }
 ), DDC$RT.type((Stream<T> _) {
 }
-), "CastExact", """line 236, column 27 of dart:async/future_impl.dart: """, __x33 is Stream<T>, false))(new Stream.fromFuture(this));
+), "CastExact", """line 236, column 27 of dart:async/future_impl.dart: """, __x34 is Stream<T>, false))(new Stream.fromFuture(this));
  void _markPendingCompletion() {
 if (!_mayComplete) throw new StateError("Future already completed");
  _state = _PENDING_COMPLETE;
 }
  T get _value {
 assert (_isComplete && _hasValue); return DDC$RT.cast(_resultOrListeners, dynamic, T, "CastGeneral", """line 245, column 12 of dart:async/future_impl.dart: """, _resultOrListeners is T, false);
 }
  AsyncError get _error {
 assert (_isComplete && _hasError); return DDC$RT.cast(_resultOrListeners, dynamic, AsyncError, "CastGeneral", """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 = ((__x34) => DDC$RT.cast(__x34, dynamic, bool, "CastGeneral", """line 499, column 29 of dart:async/future_impl.dart: """, __x34 is bool, true))(zone.runUnary(test, asyncError.error));
+    matchesTest = ((__x35) => DDC$RT.cast(__x35, dynamic, bool, "CastGeneral", """line 499, column 29 of dart:async/future_impl.dart: """, __x35 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) {
@@ skipping 130 matching lines @@
 }
 }
 );
  return result;
 }
 }
  typedef dynamic __t22(dynamic __u23);
  typedef bool __t24(dynamic __u25);
  typedef dynamic __t26();
  typedef dynamic __t28<T>(T __u29);