Typecheck constructor initializers properly

test/dart_codegen/expect/convert/json.dart

Index: test/dart_codegen/expect/convert/json.dart
diff --git a/test/dart_codegen/expect/convert/json.dart b/test/dart_codegen/expect/convert/json.dart
index 70225d6e16796dc210bd6fb56635b2e32c406bb0..52f4618c533d7984e3b41ec16aa80abc6b1e0874 100644
--- a/test/dart_codegen/expect/convert/json.dart
+++ b/test/dart_codegen/expect/convert/json.dart
@@ -214,7 +214,7 @@ _isDone = true;
  static const int CHAR_u = 0x75;
  final List _seen = new List();
  final Function _toEncodable;
- _JsonStringifier(Object _toEncodable(Object o)) : _toEncodable = (_toEncodable != null) ? _toEncodable : _defaultToEncodable;
+ _JsonStringifier(Object _toEncodable(Object o)) : _toEncodable = ((__x15) => DDC$RT.cast(__x15, dynamic, Function, "CastGeneral", """line 547, column 24 of dart:convert/json.dart: """, __x15 is Function, true))((_toEncodable != null) ? _toEncodable : _defaultToEncodable);
  void writeString(String characters);
  void writeStringSlice(String characters, int start, int end);
  void writeCharCode(int charCode);
@@ -393,11 +393,11 @@ writeString('{}');
 writeString('{\n');
  _indentLevel++;
  bool first = true;
- map.forEach(((__x23) => DDC$RT.wrap((dynamic f(String __u15, Object __u16)) {
+ map.forEach(((__x24) => DDC$RT.wrap((dynamic f(String __u16, Object __u17)) {
 dynamic c(String x0, Object x1) => f(DDC$RT.cast(x0, dynamic, String, "CastParam", """line 773, column 19 of dart:convert/json.dart: """, x0 is String, true), x1);
  return f == null ? null : c;
 }
-, __x23, __t20, __t17, "WrapLiteral", """line 773, column 19 of dart:convert/json.dart: """, __x23 is __t17))((String key, Object value) {
+, __x24, __t21, __t18, "WrapLiteral", """line 773, column 19 of dart:convert/json.dart: """, __x24 is __t18))((String key, Object value) {
 if (!first) {
 writeString(",\n");
 }
@@ -417,7 +417,7 @@ writeString(",\n");
 }
 }
  class _JsonStringStringifier extends _JsonStringifier {final StringSink _sink;
- _JsonStringStringifier(this._sink, _toEncodable) : super(DDC$RT.cast(_toEncodable, dynamic, __t24, "CastGeneral", """line 798, column 60 of dart:convert/json.dart: """, _toEncodable is __t24, false));
+ _JsonStringStringifier(this._sink, _toEncodable) : super(DDC$RT.cast(_toEncodable, dynamic, __t25, "CastGeneral", """line 798, column 60 of dart:convert/json.dart: """, _toEncodable is __t25, false));
  static String stringify(object, toEncodable(object), String indent) {
 StringBuffer output = new StringBuffer();
  printOn(object, output, toEncodable, indent);
@@ -458,7 +458,7 @@ for (int i = 0;
  final Function addChunk;
  Uint8List buffer;
  int index = 0;
- _JsonUtf8Stringifier(toEncodable, int bufferSize, this.addChunk) : super(DDC$RT.cast(toEncodable, dynamic, __t24, "CastGeneral", """line 874, column 15 of dart:convert/json.dart: """, toEncodable is __t24, false)), this.bufferSize = bufferSize, buffer = new Uint8List(bufferSize);
+ _JsonUtf8Stringifier(toEncodable, int bufferSize, this.addChunk) : super(DDC$RT.cast(toEncodable, dynamic, __t25, "CastGeneral", """line 874, column 15 of dart:convert/json.dart: """, toEncodable is __t25, false)), this.bufferSize = bufferSize, buffer = new Uint8List(bufferSize);
  static void stringify(Object object, List<int> indent, toEncodableFunction(Object o), int bufferSize, void addChunk(Uint8List chunk, int start, int end)) {
 _JsonUtf8Stringifier stringifier;
  if (indent != null) {
@@ -577,6 +577,6 @@ writeByte(indent[i]);
 }
  typedef dynamic __t7(dynamic __u8);
  typedef dynamic __t11(Object __u12);
- typedef void __t17(dynamic __u18, dynamic __u19);
- typedef dynamic __t20(String __u21, Object __u22);
- typedef Object __t24(Object __u25);
+ typedef void __t18(dynamic __u19, dynamic __u20);
+ typedef dynamic __t21(String __u22, Object __u23);
+ typedef Object __t25(Object __u26);