Typecheck constructor initializers properly

test/dart_codegen/expect/collection/maps.dart

 part of dart.collection;
  abstract class MapBase<K, V> = Object with MapMixin<K, V>;
  abstract class MapMixin<K, V> implements Map<K, V> {Iterable<K> get keys;
  V operator [](Object key);
  operator []=(K key, V value);
  V remove(Object key);
  void clear();
  void forEach(void action(K key, V value)) {
   for (K key in keys) {
     action(key, this[key]);
@@ skipping 22 matching lines @@
  bool get isNotEmpty => keys.isNotEmpty;
  Iterable<V> get values => new _MapBaseValueIterable<V>(this);
  String toString() => Maps.mapToString(this);
 }
  abstract class UnmodifiableMapBase<K, V> = MapBase<K, V> with _UnmodifiableMapMixin<K, V>;
  class _MapBaseValueIterable<V> extends IterableBase<V> implements EfficientLength {final Map _map;
  _MapBaseValueIterable(this._map);
  int get length => _map.length;
  bool get isEmpty => _map.isEmpty;
  bool get isNotEmpty => _map.isNotEmpty;
- V get first => ((__x26) => DDC$RT.cast(__x26, dynamic, V, "CastGeneral", """line 122, column 18 of dart:collection/maps.dart: """, __x26 is V, false))(_map[_map.keys.first]);
- V get single => ((__x27) => DDC$RT.cast(__x27, dynamic, V, "CastGeneral", """line 123, column 19 of dart:collection/maps.dart: """, __x27 is V, false))(_map[_map.keys.single]);
- V get last => ((__x28) => DDC$RT.cast(__x28, dynamic, V, "CastGeneral", """line 124, column 17 of dart:collection/maps.dart: """, __x28 is V, false))(_map[_map.keys.last]);
+ V get first => ((__x32) => DDC$RT.cast(__x32, dynamic, V, "CastGeneral", """line 122, column 18 of dart:collection/maps.dart: """, __x32 is V, false))(_map[_map.keys.first]);
+ V get single => ((__x33) => DDC$RT.cast(__x33, dynamic, V, "CastGeneral", """line 123, column 19 of dart:collection/maps.dart: """, __x33 is V, false))(_map[_map.keys.single]);
+ V get last => ((__x34) => DDC$RT.cast(__x34, dynamic, V, "CastGeneral", """line 124, column 17 of dart:collection/maps.dart: """, __x34 is V, false))(_map[_map.keys.last]);
  Iterator<V> get iterator => new _MapBaseValueIterator<V>(_map);
 }
  class _MapBaseValueIterator<V> implements Iterator<V> {final Iterator _keys;
  final Map _map;
- V _current = ((__x29) => DDC$RT.cast(__x29, Null, V, "CastLiteral", """line 138, column 16 of dart:collection/maps.dart: """, __x29 is V, false))(null);
+ V _current = ((__x35) => DDC$RT.cast(__x35, Null, V, "CastLiteral", """line 138, column 16 of dart:collection/maps.dart: """, __x35 is V, false))(null);
  _MapBaseValueIterator(Map map) : _map = map, _keys = map.keys.iterator;
  bool moveNext() {
 if (_keys.moveNext()) {
-_current = ((__x30) => DDC$RT.cast(__x30, dynamic, V, "CastGeneral", """line 144, column 18 of dart:collection/maps.dart: """, __x30 is V, false))(_map[_keys.current]);
+_current = ((__x36) => DDC$RT.cast(__x36, dynamic, V, "CastGeneral", """line 144, column 18 of dart:collection/maps.dart: """, __x36 is V, false))(_map[_keys.current]);
  return true;
 }
- _current = ((__x31) => DDC$RT.cast(__x31, Null, V, "CastLiteral", """line 147, column 16 of dart:collection/maps.dart: """, __x31 is V, false))(null);
+ _current = ((__x37) => DDC$RT.cast(__x37, Null, V, "CastLiteral", """line 147, column 16 of dart:collection/maps.dart: """, __x37 is V, false))(null);
  return false;
 }
  V get current => _current;
 }
  abstract class _UnmodifiableMapMixin<K, V> implements Map<K, V> {void operator []=(K key, V value) {
 throw new UnsupportedError("Cannot modify unmodifiable map");
 }
  void addAll(Map<K, V> other) {
 throw new UnsupportedError("Cannot modify unmodifiable map");
 }
@@ skipping 116 matching lines @@
  while (hasNextKey && hasNextValue) {
 map[keyIterator.current] = valueIterator.current;
  hasNextKey = keyIterator.moveNext();
  hasNextValue = valueIterator.moveNext();
 }
  if (hasNextKey || hasNextValue) {
 throw new ArgumentError("Iterables do not have same length.");
 }
 }
 }