Typecheck constructor initializers properly

test/codegen/expect/async/async.js

 var async;
 (function(async) {
   'use strict';
   dart.copyProperties(async, {
     get _hasDocument() {
       return dart.equals(dart.dinvokef(/* Unimplemented unknown name */JS, 'String', 'typeof document'), 'object');
     }
   });
   // Function _invokeErrorHandler: (Function, Object, StackTrace) → dynamic
   function _invokeErrorHandler(errorHandler, error, stackTrace) {
@@ skipping 864 matching lines @@
       }
       then(f, opt$) {
         let onError = opt$.onError === void 0 ? null : opt$.onError;
         let result = new _Future();
         if (!dart.notNull(core.identical(result._zone, _ROOT_ZONE))) {
           f = result._zone.registerUnaryCallback(dart.as(f, dart.throw_("Unimplemented type (dynamic) → dynamic")));
           if (onError !== null) {
             onError = _registerErrorHandler(onError, result._zone);
           }
         }
-        this._addListener(new _FutureListener.then(result, f, onError));
+        this._addListener(new _FutureListener.then(result, dart.as(f, _FutureOnValue), onError));
         return result;
       }
       catchError(onError, opt$) {
         let test = opt$.test === void 0 ? null : opt$.test;
         let result = new _Future();
         if (!dart.notNull(core.identical(result._zone, _ROOT_ZONE))) {
           onError = _registerErrorHandler(onError, result._zone);
           if (test !== null)
             test = dart.as(result._zone.registerUnaryCallback(test), dart.throw_("Unimplemented type (dynamic) → bool"));
         }
@@ skipping 385 matching lines @@
     } finally {
       async._lastPriorityCallback = null;
       async._isInCallbackLoop = false;
       if (async._nextCallback !== null)
         _AsyncRun._scheduleImmediate(_asyncRunCallback);
     }
   }
   // Function _scheduleAsyncCallback: (dynamic) → void
   function _scheduleAsyncCallback(callback) {
     if (async._nextCallback === null) {
-      async._nextCallback = async._lastCallback = new _AsyncCallbackEntry(callback);
+      async._nextCallback = async._lastCallback = new _AsyncCallbackEntry(dart.as(callback, _AsyncCallback));
       if (!dart.notNull(async._isInCallbackLoop)) {
         _AsyncRun._scheduleImmediate(_asyncRunCallback);
       }
     } else {
-      let newEntry = new _AsyncCallbackEntry(callback);
+      let newEntry = new _AsyncCallbackEntry(dart.as(callback, _AsyncCallback));
       async._lastCallback.next = newEntry;
       async._lastCallback = newEntry;
     }
   }
   // Function _schedulePriorityAsyncCallback: (dynamic) → void
   function _schedulePriorityAsyncCallback(callback) {
-    let entry = new _AsyncCallbackEntry(callback);
+    let entry = new _AsyncCallbackEntry(dart.as(callback, _AsyncCallback));
     if (async._nextCallback === null) {
       _scheduleAsyncCallback(callback);
       async._lastPriorityCallback = async._lastCallback;
     } else if (async._lastPriorityCallback === null) {
       entry.next = async._nextCallback;
       async._nextCallback = async._lastPriorityCallback = entry;
     } else {
       entry.next = async._lastPriorityCallback.next;
       async._lastPriorityCallback.next = entry;
       async._lastPriorityCallback = entry;
@@ skipping 130 matching lines @@
               sendEvent();
             });
           }).bind(this), onCancel: (() => {
             if (timer !== null)
               timer.cancel();
             timer = null;
           }).bind(this)});
         return controller.stream;
       }
       Stream$eventTransformed(source, mapSink) {
-        return dart.as(new _BoundSinkStream(source, mapSink), Stream$(T));
+        return dart.as(new _BoundSinkStream(source, dart.as(mapSink, _SinkMapper)), Stream$(T));
       }
       get isBroadcast() {
         return false;
       }
       asBroadcastStream(opt$) {
         let onListen = opt$.onListen === void 0 ? null : opt$.onListen;
         let onCancel = opt$.onCancel === void 0 ? null : opt$.onCancel;
-        return new _AsBroadcastStream(this, onListen, onCancel);
+        return new _AsBroadcastStream(this, dart.as(onListen, dart.throw_("Unimplemented type (StreamSubscription<dynamic>) → void")), dart.as(onCancel, dart.throw_("Unimplemented type (StreamSubscription<dynamic>) → void")));
       }
       where(test) {
         return new _WhereStream(this, test);
       }
       map(convert) {
         return new _MapStream(this, convert);
       }
       asyncMap(convert) {
         let controller = null;
         let subscription = null;
@@ skipping 252 matching lines @@
       }
       drain(futureValue) {
         if (futureValue === void 0)
           futureValue = null;
         return this.listen(null, {cancelOnError: true}).asFuture(futureValue);
       }
       take(count) {
         return dart.as(new _TakeStream(this, count), Stream$(T));
       }
       takeWhile(test) {
-        return dart.as(new _TakeWhileStream(this, test), Stream$(T));
+        return dart.as(new _TakeWhileStream(this, dart.as(test, dart.throw_("Unimplemented type (dynamic) → bool"))), Stream$(T));
       }
       skip(count) {
         return dart.as(new _SkipStream(this, count), Stream$(T));
       }
       skipWhile(test) {
-        return dart.as(new _SkipWhileStream(this, test), Stream$(T));
+        return dart.as(new _SkipWhileStream(this, dart.as(test, dart.throw_("Unimplemented type (dynamic) → bool"))), Stream$(T));
       }
       distinct(equals) {
         if (equals === void 0)
           equals = null;
-        return dart.as(new _DistinctStream(this, equals), Stream$(T));
+        return dart.as(new _DistinctStream(this, dart.as(equals, dart.throw_("Unimplemented type (dynamic, dynamic) → bool"))), Stream$(T));
       }
       get first() {
         let future = new _Future();
         let subscription = null;
         subscription = this.listen((value) => {
           _cancelAndValue(subscription, future, value);
         }, {
           onError: future._completeError,
           onDone: () => {
             try {
@@ skipping 511 matching lines @@
         dart.assert(this._isAddingStream);
         let addState = dart.as(this._varData, _StreamControllerAddStreamState);
         this._varData = addState.varData;
         this._state = ~_STATE_ADDSTREAM;
         addState.complete();
       }
       _subscribe(onData, onError, onDone, cancelOnError) {
         if (!dart.notNull(this._isInitialState)) {
           throw new core.StateError("Stream has already been listened to.");
         }
-        let subscription = new _ControllerSubscription(this, onData, onError, onDone, cancelOnError);
+        let subscription = new _ControllerSubscription(this, dart.as(onData, dart.throw_("Unimplemented type (dynamic) → void")), onError, onDone, cancelOnError);
         let pendingEvents = this._pendingEvents;
         this._state = _STATE_SUBSCRIBED;
         if (this._isAddingStream) {
           let addState = dart.as(this._varData, _StreamControllerAddStreamState);
           addState.varData = subscription;
           addState.resume();
         } else {
           this._varData = subscription;
         }
         subscription._setPendingEvents(pendingEvents);
@@ skipping 616 matching lines @@
         this._isUsed = false;
         super._StreamImpl();
       }
       _createSubscription(onData, onError, onDone, cancelOnError) {
         if (this._isUsed)
           throw new core.StateError("Stream has already been listened to.");
         this._isUsed = true;
         return ((_) => {
           _._setPendingEvents(this._pending());
           return _;
-        }).bind(this)(new _BufferingStreamSubscription(onData, onError, onDone, cancelOnError));
+        }).bind(this)(new _BufferingStreamSubscription(dart.as(onData, dart.throw_("Unimplemented type (dynamic) → void")), onError, onDone, cancelOnError));
       }
     }
     return _GeneratedStreamImpl;
   });
   let _GeneratedStreamImpl = _GeneratedStreamImpl$(dynamic);
   let _IterablePendingEvents$ = dart.generic(function(T) {
     class _IterablePendingEvents extends _PendingEvents {
       _IterablePendingEvents(data) {
         this._iterator = data.iterator;
         super._PendingEvents();
@@ skipping 617 matching lines @@
           sink._add(inputEvent);
         }
       }
     }
     return _WhereStream;
   });
   let _WhereStream = _WhereStream$(dynamic);
   let _MapStream$ = dart.generic(function(S, T) {
     class _MapStream extends _ForwardingStream$(S, T) {
       _MapStream(source, transform) {
-        this._transform = transform;
+        this._transform = dart.as(transform, _Transformation);
         super._ForwardingStream(source);
       }
       _handleData(inputEvent, sink) {
         let outputEvent = null;
         try {
           outputEvent = dart.as(this._transform(inputEvent), T);
         } catch (e) {
           let s = dart.stackTrace(e);
           _addErrorWithReplacement(sink, e, s);
           return;
@@ skipping 330 matching lines @@
       _BoundSinkStream(_stream, _sinkMapper) {
         this._stream = _stream;
         this._sinkMapper = _sinkMapper;
         super.Stream();
       }
       listen(onData, opt$) {
         let onError = opt$.onError === void 0 ? null : opt$.onError;
         let onDone = opt$.onDone === void 0 ? null : opt$.onDone;
         let cancelOnError = opt$.cancelOnError === void 0 ? null : opt$.cancelOnError;
         cancelOnError = core.identical(true, cancelOnError);
-        let subscription = dart.as(new _SinkTransformerStreamSubscription(this._stream, this._sinkMapper, onData, onError, onDone, cancelOnError), StreamSubscription$(T));
+        let subscription = dart.as(new _SinkTransformerStreamSubscription(this._stream, dart.as(this._sinkMapper, _SinkMapper), dart.as(onData, dart.throw_("Unimplemented type (dynamic) → void")), onError, onDone, cancelOnError), StreamSubscription$(T));
         return subscription;
       }
     }
     return _BoundSinkStream;
   });
   let _BoundSinkStream = _BoundSinkStream$(dynamic, dynamic);
   let _HandlerEventSink$ = dart.generic(function(S, T) {
     class _HandlerEventSink extends dart.Object {
       _HandlerEventSink(_handleData, _handleError, _handleDone, _sink) {
         this._handleData = _handleData;
@@ skipping 138 matching lines @@
       let runBinary = opt$.runBinary === void 0 ? null : opt$.runBinary;
       let registerCallback = opt$.registerCallback === void 0 ? null : opt$.registerCallback;
       let registerUnaryCallback = opt$.registerUnaryCallback === void 0 ? null : opt$.registerUnaryCallback;
       let registerBinaryCallback = opt$.registerBinaryCallback === void 0 ? null : opt$.registerBinaryCallback;
       let errorCallback = opt$.errorCallback === void 0 ? null : opt$.errorCallback;
       let scheduleMicrotask = opt$.scheduleMicrotask === void 0 ? null : opt$.scheduleMicrotask;
       let createTimer = opt$.createTimer === void 0 ? null : opt$.createTimer;
       let createPeriodicTimer = opt$.createPeriodicTimer === void 0 ? null : opt$.createPeriodicTimer;
       let print = opt$.print === void 0 ? null : opt$.print;
       let fork = opt$.fork === void 0 ? null : opt$.fork;
-      return new ZoneSpecification({handleUncaughtError: handleUncaughtError !== null ? handleUncaughtError : other.handleUncaughtError, run: run !== null ? run : other.run, runUnary: runUnary !== null ? runUnary : other.runUnary, runBinary: runBinary !== null ? runBinary : other.runBinary, registerCallback: registerCallback !== null ? registerCallback : other.registerCallback, registerUnaryCallback: registerUnaryCallback !== null ? registerUnaryCallback : other.registerUnaryCallback, registerBinaryCallback: registerBinaryCallback !== null ? registerBinaryCallback : other.registerBinaryCallback, errorCallback: errorCallback !== null ? errorCallback : other.errorCallback, scheduleMicrotask: scheduleMicrotask !== null ? scheduleMicrotask : other.scheduleMicrotask, createTimer: createTimer !== null ? createTimer : other.createTimer, createPeriodicTimer: createPeriodicTimer !== null ? createPeriodicTimer : other.createPeriodicTimer, print: print !== null ? print : other.print, fork: fork !== null ? fork : other.fork});
+      return new ZoneSpecification({handleUncaughtError: dart.as(handleUncaughtError !== null ? handleUncaughtError : other.handleUncaughtError, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, dynamic, StackTrace) → dynamic")), run: dart.as(run !== null ? run : other.run, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, () → dynamic) → dynamic")), runUnary: dart.as(runUnary !== null ? runUnary : other.runUnary, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, (dynamic) → dynamic, dynamic) → dynamic")), runBinary: dart.as(runBinary !== null ? runBinary : other.runBinary, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, (dynamic, dynamic) → dynamic, dynamic, dynamic) → dynamic")), registerCallback: dart.as(registerCallback !== null ? registerCallback : other.registerCallback, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, () → dynamic) → ZoneCallback")), registerUnaryCallback: dart.as(registerUnaryCallback !== null ? registerUnaryCallback : other.registerUnaryCallback, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, (dynamic) → dynamic) → ZoneUnaryCallback")), registerBinaryCallback: dart.as(registerBinaryCallback !== null ? registerBinaryCallback : other.registerBinaryCallback, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, (dynamic, dynamic) → dynamic) → ZoneBinaryCallback")), errorCallback: dart.as(errorCallback !== null ? errorCallback : other.errorCallback, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, Object, StackTrace) → AsyncError")), scheduleMicrotask: dart.as(scheduleMicrotask !== null ? scheduleMicrotask : other.scheduleMicrotask, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, () → dynamic) → void")), createTimer: dart.as(createTimer !== null ? createTimer : other.createTimer, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, Duration, () → void) → Timer")), createPeriodicTimer: dart.as(createPeriodicTimer !== null ? createPeriodicTimer : other.createPeriodicTimer, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, Duration, (Timer) → void) → Timer")), print: dart.as(print !== null ? print : other.print, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, String) → void")), fork: dart.as(fork !== null ? fork : other.fork, dart.throw_("Unimplemented type (Zone, ZoneDelegate, Zone, ZoneSpecification, Map<dynamic, dynamic>) → Zone"))});
     }
   }
   dart.defineNamedConstructor(ZoneSpecification, 'from');
   class _ZoneSpecification extends dart.Object {
     _ZoneSpecification(opt$) {
       let handleUncaughtError = opt$.handleUncaughtError === void 0 ? null : opt$.handleUncaughtError;
       let run = opt$.run === void 0 ? null : opt$.run;
       let runUnary = opt$.runUnary === void 0 ? null : opt$.runUnary;
       let runBinary = opt$.runBinary === void 0 ? null : opt$.runBinary;
       let registerCallback = opt$.registerCallback === void 0 ? null : opt$.registerCallback;
@@ skipping 418 matching lines @@
     let valueMap = null;
     if (zoneValues === null) {
       if (dart.is(zone, _Zone)) {
         valueMap = zone._map;
       } else {
         valueMap = new collection.HashMap();
       }
     } else {
       valueMap = new collection.HashMap.from(zoneValues);
     }
-    return new _CustomZone(zone, specification, valueMap);
+    return new _CustomZone(dart.as(zone, _Zone), specification, valueMap);
   }
   class _RootZoneSpecification extends dart.Object {
     get handleUncaughtError() {
       return _rootHandleUncaughtError;
     }
     get run() {
       return _rootRun;
     }
     get runUnary() {
       return _rootRunUnary;
@@ skipping 27 matching lines @@
     }
     get fork() {
       return _rootFork;
     }
   }
   class _RootZone extends _Zone {
     _RootZone() {
       super._Zone();
     }
     get _run() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootRun);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootRun);
     }
     get _runUnary() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootRunUnary);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootRunUnary);
     }
     get _runBinary() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootRunBinary);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootRunBinary);
     }
     get _registerCallback() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootRegisterCallback);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootRegisterCallback);
     }
     get _registerUnaryCallback() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootRegisterUnaryCallback);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootRegisterUnaryCallback);
     }
     get _registerBinaryCallback() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootRegisterBinaryCallback);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootRegisterBinaryCallback);
     }
     get _errorCallback() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootErrorCallback);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootErrorCallback);
     }
     get _scheduleMicrotask() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootScheduleMicrotask);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootScheduleMicrotask);
     }
     get _createTimer() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootCreateTimer);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootCreateTimer);
     }
     get _createPeriodicTimer() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootCreatePeriodicTimer);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootCreatePeriodicTimer);
     }
     get _print() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootPrint);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootPrint);
     }
     get _fork() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootFork);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootFork);
     }
     get _handleUncaughtError() {
-      return new _ZoneFunction(_ROOT_ZONE, _rootHandleUncaughtError);
+      return new _ZoneFunction(dart.as(_ROOT_ZONE, _Zone), _rootHandleUncaughtError);
     }
     get parent() {
       return null;
     }
     get _map() {
       return _rootMap;
     }
     get _delegate() {
       if (_rootDelegate !== null)
         return _rootDelegate;
@@ skipping 184 matching lines @@
   async.StreamIterator$ = StreamIterator$;
   async.StreamController = StreamController;
   async.StreamController$ = StreamController$;
   async.Timer = Timer;
   async.AsyncError = AsyncError;
   async.ZoneSpecification = ZoneSpecification;
   async.ZoneDelegate = ZoneDelegate;
   async.Zone = Zone;
   async.runZoned = runZoned;
 })(async || (async = {}));