Typecheck constructor initializers properly

test/dart_codegen/expect/async/zone.dart

 part of dart.async;
  typedef dynamic ZoneCallback();
  typedef dynamic ZoneUnaryCallback(arg);
  typedef dynamic ZoneBinaryCallback(arg1, arg2);
  typedef dynamic HandleUncaughtErrorHandler(Zone self, ZoneDelegate parent, Zone zone, error, StackTrace stackTrace);
  typedef dynamic RunHandler(Zone self, ZoneDelegate parent, Zone zone, f());
  typedef dynamic RunUnaryHandler(Zone self, ZoneDelegate parent, Zone zone, f(arg), arg);
  typedef dynamic RunBinaryHandler(Zone self, ZoneDelegate parent, Zone zone, f(arg1, arg2), arg1, arg2);
  typedef ZoneCallback RegisterCallbackHandler(Zone self, ZoneDelegate parent, Zone zone, f());
  typedef ZoneUnaryCallback RegisterUnaryCallbackHandler(Zone self, ZoneDelegate parent, Zone zone, f(arg));
  typedef ZoneBinaryCallback RegisterBinaryCallbackHandler(Zone self, ZoneDelegate parent, Zone zone, f(arg1, arg2));
  typedef AsyncError ErrorCallbackHandler(Zone self, ZoneDelegate parent, Zone zone, Object error, StackTrace stackTrace);
  typedef void ScheduleMicrotaskHandler(Zone self, ZoneDelegate parent, Zone zone, f());
  typedef Timer CreateTimerHandler(Zone self, ZoneDelegate parent, Zone zone, Duration duration, void f());
  typedef Timer CreatePeriodicTimerHandler(Zone self, ZoneDelegate parent, Zone zone, Duration period, void f(Timer timer));
  typedef void PrintHandler(Zone self, ZoneDelegate parent, Zone zone, String line);
  typedef Zone ForkHandler(Zone self, ZoneDelegate parent, Zone zone, ZoneSpecification specification, Map zoneValues);
  class AsyncError implements Error {final error;
  final StackTrace stackTrace;
  AsyncError(this.error, this.stackTrace);
- String toString() => ((__x131) => DDC$RT.cast(__x131, dynamic, String, "CastGeneral", """line 46, column 24 of dart:async/zone.dart: """, __x131 is String, true))(error.toString());
+ String toString() => ((__x136) => DDC$RT.cast(__x136, dynamic, String, "CastGeneral", """line 46, column 24 of dart:async/zone.dart: """, __x136 is String, true))(error.toString());
 }
  class _ZoneFunction {final _Zone zone;
  final Function function;
  const _ZoneFunction(this.zone, this.function);
 }
  abstract class ZoneSpecification {const factory ZoneSpecification({
 dynamic handleUncaughtError(Zone self, ZoneDelegate parent, Zone zone, error, StackTrace stackTrace), dynamic run(Zone self, ZoneDelegate parent, Zone zone, f()), dynamic runUnary(Zone self, ZoneDelegate parent, Zone zone, f(arg), arg), dynamic runBinary(Zone self, ZoneDelegate parent, Zone zone, f(arg1, arg2), arg1, arg2), ZoneCallback registerCallback(Zone self, ZoneDelegate parent, Zone zone, f()), ZoneUnaryCallback registerUnaryCallback(Zone self, ZoneDelegate parent, Zone zone, f(arg)), ZoneBinaryCallback registerBinaryCallback(Zone self, ZoneDelegate parent, Zone zone, f(arg1, arg2)), AsyncError errorCallback(Zone self, ZoneDelegate parent, Zone zone, Object error, StackTrace stackTrace), void scheduleMicrotask(Zone self, ZoneDelegate parent, Zone zone, f()), Timer createTimer(Zone self, ZoneDelegate parent, Zone zone, Duration duration, void f()), Timer createPeriodicTimer(Zone self, ZoneDelegate parent, Zone zone, Duration period, void f(Timer timer)), void print(Zone self, ZoneDelegate parent, Zone zone, String line), Zone fork(Zone self, ZoneDelegate parent, Zone zone, ZoneSpecification specification, Map zoneValues)}
 ) = _ZoneSpecification;
  factory ZoneSpecification.from(ZoneSpecification other, {
 dynamic handleUncaughtError(Zone self, ZoneDelegate parent, Zone zone, error, StackTrace stackTrace) : null, dynamic run(Zone self, ZoneDelegate parent, Zone zone, f()) : null, dynamic runUnary(Zone self, ZoneDelegate parent, Zone zone, f(arg), arg) : null, dynamic runBinary(Zone self, ZoneDelegate parent, Zone zone, f(arg1, arg2), arg1, arg2) : null, ZoneCallback registerCallback(Zone self, ZoneDelegate parent, Zone zone, f()) : null, ZoneUnaryCallback registerUnaryCallback(Zone self, ZoneDelegate parent, Zone zone, f(arg)) : null, ZoneBinaryCallback registerBinaryCallback(Zone self, ZoneDelegate parent, Zone zone, f(arg1, arg2)) : null, AsyncError errorCallback(Zone self, ZoneDelegate parent, Zone zone, Object error, StackTrace stackTrace), void scheduleMicrotask(Zone self, ZoneDelegate parent, Zone zone, f()) : null, Timer createTimer(Zone self, ZoneDelegate parent, Zone zone, Duration duration, void f()) : null, Timer createPeriodicTimer(Zone self, ZoneDelegate parent, Zone zone, Duration period, void f(Timer timer)) : null, void print(Zone self, ZoneDelegate parent, Zone zone, String line) : null, Zone fork(Zone self, ZoneDelegate parent, Zone zone, ZoneSpecification specification, Map zoneValues) : null}
@@ skipping 111 matching lines @@
  return (implementation.function)(implZone, _parentDelegate(implZone), zone, f, arg);
 }
  dynamic runBinary(Zone zone, f(arg1, arg2), arg1, arg2) {
 _ZoneFunction implementation = _delegationTarget._runBinary;
  _Zone implZone = implementation.zone;
  return (implementation.function)(implZone, _parentDelegate(implZone), zone, f, arg1, arg2);
 }
  ZoneCallback registerCallback(Zone zone, f()) {
 _ZoneFunction implementation = _delegationTarget._registerCallback;
  _Zone implZone = implementation.zone;
- return ((__x133) => DDC$RT.cast(__x133, dynamic, __t132, "CastGeneral", """line 522, column 12 of dart:async/zone.dart: """, __x133 is __t132, false))((implementation.function)(implZone, _parentDelegate(implZone), zone, f));
+ return ((__x138) => DDC$RT.cast(__x138, dynamic, __t137, "CastGeneral", """line 522, column 12 of dart:async/zone.dart: """, __x138 is __t137, false))((implementation.function)(implZone, _parentDelegate(implZone), zone, f));
 }
  ZoneUnaryCallback registerUnaryCallback(Zone zone, f(arg)) {
 _ZoneFunction implementation = _delegationTarget._registerUnaryCallback;
  _Zone implZone = implementation.zone;
- return ((__x136) => DDC$RT.cast(__x136, dynamic, __t134, "CastGeneral", """line 529, column 12 of dart:async/zone.dart: """, __x136 is __t134, false))((implementation.function)(implZone, _parentDelegate(implZone), zone, f));
+ return ((__x141) => DDC$RT.cast(__x141, dynamic, __t139, "CastGeneral", """line 529, column 12 of dart:async/zone.dart: """, __x141 is __t139, false))((implementation.function)(implZone, _parentDelegate(implZone), zone, f));
 }
  ZoneBinaryCallback registerBinaryCallback(Zone zone, f(arg1, arg2)) {
 _ZoneFunction implementation = _delegationTarget._registerBinaryCallback;
  _Zone implZone = implementation.zone;
- return ((__x140) => DDC$RT.cast(__x140, dynamic, __t137, "CastGeneral", """line 536, column 12 of dart:async/zone.dart: """, __x140 is __t137, false))((implementation.function)(implZone, _parentDelegate(implZone), zone, f));
+ return ((__x145) => DDC$RT.cast(__x145, dynamic, __t142, "CastGeneral", """line 536, column 12 of dart:async/zone.dart: """, __x145 is __t142, false))((implementation.function)(implZone, _parentDelegate(implZone), zone, f));
 }
  AsyncError errorCallback(Zone zone, Object error, StackTrace stackTrace) {
 _ZoneFunction implementation = _delegationTarget._errorCallback;
  _Zone implZone = implementation.zone;
  if (identical(implZone, _ROOT_ZONE)) return null;
- return ((__x141) => DDC$RT.cast(__x141, dynamic, AsyncError, "CastGeneral", """line 544, column 12 of dart:async/zone.dart: """, __x141 is AsyncError, true))((implementation.function)(implZone, _parentDelegate(implZone), zone, error, stackTrace));
+ return ((__x146) => DDC$RT.cast(__x146, dynamic, AsyncError, "CastGeneral", """line 544, column 12 of dart:async/zone.dart: """, __x146 is AsyncError, true))((implementation.function)(implZone, _parentDelegate(implZone), zone, error, stackTrace));
 }
  void scheduleMicrotask(Zone zone, f()) {
 _ZoneFunction implementation = _delegationTarget._scheduleMicrotask;
  _Zone implZone = implementation.zone;
  (implementation.function)(implZone, _parentDelegate(implZone), zone, f);
 }
  Timer createTimer(Zone zone, Duration duration, void f()) {
 _ZoneFunction implementation = _delegationTarget._createTimer;
  _Zone implZone = implementation.zone;
- return ((__x142) => DDC$RT.cast(__x142, dynamic, Timer, "CastGeneral", """line 558, column 12 of dart:async/zone.dart: """, __x142 is Timer, true))((implementation.function)(implZone, _parentDelegate(implZone), zone, duration, f));
+ return ((__x147) => DDC$RT.cast(__x147, dynamic, Timer, "CastGeneral", """line 558, column 12 of dart:async/zone.dart: """, __x147 is Timer, true))((implementation.function)(implZone, _parentDelegate(implZone), zone, duration, f));
 }
  Timer createPeriodicTimer(Zone zone, Duration period, void f(Timer timer)) {
 _ZoneFunction implementation = _delegationTarget._createPeriodicTimer;
  _Zone implZone = implementation.zone;
- return ((__x143) => DDC$RT.cast(__x143, dynamic, Timer, "CastGeneral", """line 565, column 12 of dart:async/zone.dart: """, __x143 is Timer, true))((implementation.function)(implZone, _parentDelegate(implZone), zone, period, f));
+ return ((__x148) => DDC$RT.cast(__x148, dynamic, Timer, "CastGeneral", """line 565, column 12 of dart:async/zone.dart: """, __x148 is Timer, true))((implementation.function)(implZone, _parentDelegate(implZone), zone, period, f));
 }
  void print(Zone zone, String line) {
 _ZoneFunction implementation = _delegationTarget._print;
  _Zone implZone = implementation.zone;
  (implementation.function)(implZone, _parentDelegate(implZone), zone, line);
 }
  Zone fork(Zone zone, ZoneSpecification specification, Map zoneValues) {
 _ZoneFunction implementation = _delegationTarget._fork;
  _Zone implZone = implementation.zone;
- return ((__x144) => DDC$RT.cast(__x144, dynamic, Zone, "CastGeneral", """line 580, column 12 of dart:async/zone.dart: """, __x144 is Zone, true))((implementation.function)(implZone, _parentDelegate(implZone), zone, specification, zoneValues));
+ return ((__x149) => DDC$RT.cast(__x149, dynamic, Zone, "CastGeneral", """line 580, column 12 of dart:async/zone.dart: """, __x149 is Zone, true))((implementation.function)(implZone, _parentDelegate(implZone), zone, specification, zoneValues));
 }
 }
  abstract class _Zone implements Zone {const _Zone();
  _ZoneFunction get _runUnary;
  _ZoneFunction get _run;
  _ZoneFunction get _runBinary;
  _ZoneFunction get _registerCallback;
  _ZoneFunction get _registerUnaryCallback;
  _ZoneFunction get _registerBinaryCallback;
  _ZoneFunction get _errorCallback;
@@ skipping 119 matching lines @@
  dynamic handleUncaughtError(error, StackTrace stackTrace) {
 _ZoneFunction implementation = this._handleUncaughtError;
  assert (implementation != null); ZoneDelegate parentDelegate = _parentDelegate(implementation.zone);
  return (implementation.function)(implementation.zone, parentDelegate, this, error, stackTrace);
 }
  Zone fork({
 ZoneSpecification specification, Map zoneValues}
 ) {
 _ZoneFunction implementation = this._fork;
  assert (implementation != null); ZoneDelegate parentDelegate = _parentDelegate(implementation.zone);
- return ((__x145) => DDC$RT.cast(__x145, dynamic, Zone, "CastGeneral", """line 787, column 12 of dart:async/zone.dart: """, __x145 is Zone, true))((implementation.function)(implementation.zone, parentDelegate, this, specification, zoneValues));
+ return ((__x150) => DDC$RT.cast(__x150, dynamic, Zone, "CastGeneral", """line 787, column 12 of dart:async/zone.dart: """, __x150 is Zone, true))((implementation.function)(implementation.zone, parentDelegate, this, specification, zoneValues));
 }
  dynamic run(f()) {
 _ZoneFunction implementation = this._run;
  assert (implementation != null); ZoneDelegate parentDelegate = _parentDelegate(implementation.zone);
  return (implementation.function)(implementation.zone, parentDelegate, this, f);
 }
  dynamic runUnary(f(arg), arg) {
 _ZoneFunction implementation = this._runUnary;
  assert (implementation != null); ZoneDelegate parentDelegate = _parentDelegate(implementation.zone);
  return (implementation.function)(implementation.zone, parentDelegate, this, f, arg);
 }
  dynamic runBinary(f(arg1, arg2), arg1, arg2) {
 _ZoneFunction implementation = this._runBinary;
  assert (implementation != null); ZoneDelegate parentDelegate = _parentDelegate(implementation.zone);
  return (implementation.function)(implementation.zone, parentDelegate, this, f, arg1, arg2);
 }
  ZoneCallback registerCallback(f()) {
 _ZoneFunction implementation = this._registerCallback;
  assert (implementation != null); ZoneDelegate parentDelegate = _parentDelegate(implementation.zone);
- return ((__x146) => DDC$RT.cast(__x146, dynamic, __t132, "CastGeneral", """line 820, column 12 of dart:async/zone.dart: """, __x146 is __t132, false))((implementation.function)(implementation.zone, parentDelegate, this, f));
+ return ((__x151) => DDC$RT.cast(__x151, dynamic, __t137, "CastGeneral", """line 820, column 12 of dart:async/zone.dart: """, __x151 is __t137, false))((implementation.function)(implementation.zone, parentDelegate, this, f));
 }
  ZoneUnaryCallback registerUnaryCallback(f(arg)) {
 _ZoneFunction implementation = this._registerUnaryCallback;
  assert (implementation != null); ZoneDelegate parentDelegate = _parentDelegate(implementation.zone);
- return ((__x147) => DDC$RT.cast(__x147, dynamic, __t134, "CastGeneral", """line 828, column 12 of dart:async/zone.dart: """, __x147 is __t134, false))((implementation.function)(implementation.zone, parentDelegate, this, f));
+ return ((__x152) => DDC$RT.cast(__x152, dynamic, __t139, "CastGeneral", """line 828, column 12 of dart:async/zone.dart: """, __x152 is __t139, false))((implementation.function)(implementation.zone, parentDelegate, this, f));
 }
  ZoneBinaryCallback registerBinaryCallback(f(arg1, arg2)) {
 _ZoneFunction implementation = this._registerBinaryCallback;
  assert (implementation != null); ZoneDelegate parentDelegate = _parentDelegate(implementation.zone);
- return ((__x148) => DDC$RT.cast(__x148, dynamic, __t137, "CastGeneral", """line 836, column 12 of dart:async/zone.dart: """, __x148 is __t137, false))((implementation.function)(implementation.zone, parentDelegate, this, f));
+ return ((__x153) => DDC$RT.cast(__x153, dynamic, __t142, "CastGeneral", """line 836, column 12 of dart:async/zone.dart: """, __x153 is __t142, false))((implementation.function)(implementation.zone, parentDelegate, this, f));
 }
  AsyncError errorCallback(Object error, StackTrace stackTrace) {
 final _ZoneFunction implementation = this._errorCallback;
  assert (implementation != null); final Zone implementationZone = implementation.zone;
  if (identical(implementationZone, _ROOT_ZONE)) return null;
  final ZoneDelegate parentDelegate = _parentDelegate(DDC$RT.cast(implementationZone, Zone, _Zone, "CastGeneral", """line 845, column 57 of dart:async/zone.dart: """, implementationZone is _Zone, true));
- return ((__x149) => DDC$RT.cast(__x149, dynamic, AsyncError, "CastGeneral", """line 846, column 12 of dart:async/zone.dart: """, __x149 is AsyncError, true))((implementation.function)(implementationZone, parentDelegate, this, error, stackTrace));
+ return ((__x154) => DDC$RT.cast(__x154, dynamic, AsyncError, "CastGeneral", """line 846, column 12 of dart:async/zone.dart: """, __x154 is AsyncError, true))((implementation.function)(implementationZone, parentDelegate, this, error, stackTrace));
 }
  void scheduleMicrotask(void f()) {
 _ZoneFunction implementation = this._scheduleMicrotask;
  assert (implementation != null); ZoneDelegate parentDelegate = _parentDelegate(implementation.zone);
  return (implementation.function)(implementation.zone, parentDelegate, this, f);
 }
  Timer createTimer(Duration duration, void f()) {
 _ZoneFunction implementation = this._createTimer;
  assert (implementation != null); ZoneDelegate parentDelegate = _parentDelegate(implementation.zone);
- return ((__x150) => DDC$RT.cast(__x150, dynamic, Timer, "CastGeneral", """line 862, column 12 of dart:async/zone.dart: """, __x150 is Timer, true))((implementation.function)(implementation.zone, parentDelegate, this, duration, f));
+ return ((__x155) => DDC$RT.cast(__x155, dynamic, Timer, "CastGeneral", """line 862, column 12 of dart:async/zone.dart: """, __x155 is Timer, true))((implementation.function)(implementation.zone, parentDelegate, this, duration, f));
 }
  Timer createPeriodicTimer(Duration duration, void f(Timer timer)) {
 _ZoneFunction implementation = this._createPeriodicTimer;
  assert (implementation != null); ZoneDelegate parentDelegate = _parentDelegate(implementation.zone);
- return ((__x151) => DDC$RT.cast(__x151, dynamic, Timer, "CastGeneral", """line 870, column 12 of dart:async/zone.dart: """, __x151 is Timer, true))((implementation.function)(implementation.zone, parentDelegate, this, duration, f));
+ return ((__x156) => DDC$RT.cast(__x156, dynamic, Timer, "CastGeneral", """line 870, column 12 of dart:async/zone.dart: """, __x156 is Timer, true))((implementation.function)(implementation.zone, parentDelegate, this, duration, f));
 }
  void print(String line) {
 _ZoneFunction implementation = this._print;
  assert (implementation != null); ZoneDelegate parentDelegate = _parentDelegate(implementation.zone);
  return (implementation.function)(implementation.zone, parentDelegate, this, line);
 }
 }
  void _rootHandleUncaughtError(Zone self, ZoneDelegate parent, Zone zone, error, StackTrace stackTrace) {
 _schedulePriorityAsyncCallback(() {
 throw new _UncaughtAsyncError(error, stackTrace);
@@ skipping 48 matching lines @@
  _scheduleAsyncCallback(f);
 }
  Timer _rootCreateTimer(Zone self, ZoneDelegate parent, Zone zone, Duration duration, void callback()) {
 if (!identical(_ROOT_ZONE, zone)) {
 callback = zone.bindCallback(callback);
 }
  return Timer._createTimer(duration, callback);
 }
  Timer _rootCreatePeriodicTimer(Zone self, ZoneDelegate parent, Zone zone, Duration duration, void callback(Timer timer)) {
 if (!identical(_ROOT_ZONE, zone)) {
-callback = zone.bindUnaryCallback(DDC$RT.wrap((void f(Timer __u152)) {
+callback = zone.bindUnaryCallback(DDC$RT.wrap((void f(Timer __u157)) {
 void c(Timer x0) => f(DDC$RT.cast(x0, dynamic, Timer, "CastParam", """line 962, column 39 of dart:async/zone.dart: """, x0 is Timer, true));
  return f == null ? null : c;
 }
-, callback, __t153, __t134, "Wrap", """line 962, column 39 of dart:async/zone.dart: """, callback is __t134));
+, callback, __t158, __t139, "Wrap", """line 962, column 39 of dart:async/zone.dart: """, callback is __t139));
 }
  return Timer._createPeriodicTimer(duration, callback);
 }
  void _rootPrint(Zone self, ZoneDelegate parent, Zone zone, String line) {
 printToConsole(line);
 }
  void _printToZone(String line) {
 Zone.current.print(line);
 }
  Zone _rootFork(Zone self, ZoneDelegate parent, Zone zone, ZoneSpecification specification, Map zoneValues) {
@@ skipping 160 matching lines @@
  dynamic runZoned(body(), {
 Map zoneValues, ZoneSpecification zoneSpecification, Function onError}
 ) {
 HandleUncaughtErrorHandler errorHandler;
  if (onError != null) {
 errorHandler = (Zone self, ZoneDelegate parent, Zone zone, error, StackTrace stackTrace) {
 try {
 if (onError is ZoneBinaryCallback) {
 return self.parent.runBinary(onError, error, stackTrace);
 }
- return self.parent.runUnary(DDC$RT.cast(onError, Function, __t134, "CastGeneral", """line 1228, column 37 of dart:async/zone.dart: """, onError is __t134, false), error);
+ return self.parent.runUnary(DDC$RT.cast(onError, Function, __t139, "CastGeneral", """line 1228, column 37 of dart:async/zone.dart: """, onError is __t139, false), error);
 }
  catch (e, s) {
 if (identical(e, error)) {
 return parent.handleUncaughtError(zone, error, stackTrace);
 }
  else {
 return parent.handleUncaughtError(zone, e, s);
 }
 }
 }
 ;
 }
  if (zoneSpecification == null) {
 zoneSpecification = new ZoneSpecification(handleUncaughtError: errorHandler);
 }
  else if (errorHandler != null) {
 zoneSpecification = new ZoneSpecification.from(zoneSpecification, handleUncaughtError: errorHandler);
 }
  Zone zone = Zone.current.fork(specification: zoneSpecification, zoneValues: zoneValues);
  if (onError != null) {
 return zone.runGuarded(body);
 }
  else {
 return zone.run(body);
 }
 }
- typedef dynamic __t132();
- typedef dynamic __t134(dynamic __u135);
- typedef dynamic __t137(dynamic __u138, dynamic __u139);
- typedef void __t153(Timer __u154);
+ typedef dynamic __t137();
+ typedef dynamic __t139(dynamic __u140);
+ typedef dynamic __t142(dynamic __u143, dynamic __u144);
+ typedef void __t158(Timer __u159);