Typecheck constructor initializers properly

test/dart_codegen/expect/core/errors.dart

 part of dart.core;
  class Error {Error();
  static String safeToString(Object object) {
   if (object is num || object is bool || null == object) {
     return object.toString();
     }
    if (object is String) {
     return _stringToSafeString(object);
     }
    return _objectToString(object);
@@ skipping 51 matching lines @@
 if (start < 0 || start > length) {
 if (startName == null) startName = "start";
  throw new RangeError.range(start, 0, length, startName, message);
 }
  if (end != null && (end < start || end > length)) {
 if (endName == null) endName = "end";
  throw new RangeError.range(end, start, length, endName, message);
 }
 }
  static void checkNotNegative(int value, [String name, String message]) {
-if (value < 0) throw new RangeError.range(value, 0, null, name, message);
+if (value < 0) throw new RangeError.range(value, 0, ((__x3) => DDC$RT.cast(__x3, Null, int, "CastLiteral", """line 320, column 57 of dart:core/errors.dart: """, __x3 is int, true))(null), name, message);
 }
  String toString() {
 if (!_hasValue) return "RangeError: $message";
  String value = Error.safeToString(invalidValue);
  String explanation = "";
  if (start == null) {
 if (end != null) {
 explanation = ": Not less than or equal to $end";
 }
 }
  else if (end == null) {
 explanation = ": Not greater than or equal to $start";
 }
  else if (end > start) {
 explanation = ": Not in range $start..$end, inclusive.";
 }
  else if (end < start) {
 explanation = ": Valid value range is empty";
 }
  else {
 explanation = ": Only valid value is $start";
 }
  return "RangeError: $message ($value)$explanation";
 }
 }
  class IndexError extends ArgumentError implements RangeError {final indexable;
  final int length;
- IndexError(int invalidValue, indexable, [String name, String message, int length]) : this.indexable = indexable, this.length = (length != null) ? length : indexable.length, super.value(invalidValue, name, (message != null) ? message : "Index out of range");
+ IndexError(int invalidValue, indexable, [String name, String message, int length]) : this.indexable = indexable, this.length = ((__x4) => DDC$RT.cast(__x4, dynamic, int, "CastGeneral", """line 371, column 23 of dart:core/errors.dart: """, __x4 is int, true))((length != null) ? length : indexable.length), super.value(invalidValue, name, (message != null) ? message : "Index out of range");
  int get start => 0;
  int get end => length - 1;
  String toString() {
 assert (_hasValue); String target = Error.safeToString(indexable);
  var explanation = "index should be less than $length";
  if (invalidValue < 0) {
 explanation = "index must not be negative";
 }
  return "RangeError: $message ($target[$invalidValue]): $explanation";
 }
@@ skipping 38 matching lines @@
  StackTrace get stackTrace => null;
 }
  class StackOverflowError implements Error {const StackOverflowError();
  String toString() => "Stack Overflow";
  StackTrace get stackTrace => null;
 }
  class CyclicInitializationError extends Error {final String variableName;
  CyclicInitializationError([this.variableName]);
  String toString() => variableName == null ? "Reading static variable during its initialization" : "Reading static variable '$variableName' during its initialization";
 }