Typecheck constructor initializers properly

test/dart_codegen/expect/collection/splay_tree.dart

 part of dart.collection;
  typedef bool _Predicate<T>(T value);
  class _SplayTreeNode<K> {final K key;
  _SplayTreeNode<K> left;
  _SplayTreeNode<K> right;
  _SplayTreeNode(K this.key);
 }
  class _SplayTreeMapNode<K, V> extends _SplayTreeNode<K> {V value;
  _SplayTreeMapNode(K key, V this.value) : super(key);
 }
@@ skipping 129 matching lines @@
  void _clear() {
 _root = null;
  _count = 0;
  _modificationCount++;
 }
 }
  class _TypeTest<T> {bool test(v) => v is T;
 }
  class SplayTreeMap<K, V> extends _SplayTree<K> implements Map<K, V> {Comparator<K> _comparator;
  _Predicate _validKey;
- SplayTreeMap([int compare(K key1, K key2), bool isValidKey(potentialKey)]) : _comparator = (compare == null) ? Comparable.compare : compare, _validKey = (isValidKey != null) ? isValidKey : ((v) => v is K);
+ SplayTreeMap([int compare(K key1, K key2), bool isValidKey(potentialKey)]) : _comparator = ((__x48) => DDC$RT.cast(__x48, dynamic, DDC$RT.type((__t45<K> _) {
+}
+), "CastGeneral", """line 268, column 23 of dart:collection/splay_tree.dart: """, __x48 is __t45<K>, false))((compare == null) ? Comparable.compare : compare), _validKey = ((__x51) => DDC$RT.cast(__x51, dynamic, __t49, "CastGeneral", """line 269, column 21 of dart:collection/splay_tree.dart: """, __x51 is __t49, false))((isValidKey != null) ? isValidKey : ((v) => v is K));
  factory SplayTreeMap.from(Map other, [int compare(K key1, K key2), bool isValidKey(potentialKey)]) {
 SplayTreeMap<K, V> result = new SplayTreeMap<K, V>();
  other.forEach((k, v) {
 result[k] = DDC$RT.cast(v, dynamic, V, "CastGeneral", """line 278, column 40 of dart:collection/splay_tree.dart: """, v is V, false);
 }
 );
  return result;
 }
  factory SplayTreeMap.fromIterable(Iterable iterable, {
 K key(element), V value(element), int compare(K key1, K key2), bool isValidKey(potentialKey)}
 ) {
 SplayTreeMap<K, V> map = new SplayTreeMap<K, V>(compare, isValidKey);
  Maps._fillMapWithMappedIterable(map, iterable, key, value);
  return map;
 }
  factory SplayTreeMap.fromIterables(Iterable<K> keys, Iterable<V> values, [int compare(K key1, K key2), bool isValidKey(potentialKey)]) {
 SplayTreeMap<K, V> map = new SplayTreeMap<K, V>(compare, isValidKey);
  Maps._fillMapWithIterables(map, keys, values);
  return map;
 }
  int _compare(K key1, K key2) => _comparator(key1, key2);
  SplayTreeMap._internal();
  V operator [](Object key) {
 if (key == null) throw new ArgumentError(key);
- if (!_validKey(key)) return ((__x45) => DDC$RT.cast(__x45, Null, V, "CastLiteral", """line 329, column 33 of dart:collection/splay_tree.dart: """, __x45 is V, false))(null);
+ if (!_validKey(key)) return ((__x52) => DDC$RT.cast(__x52, Null, V, "CastLiteral", """line 329, column 33 of dart:collection/splay_tree.dart: """, __x52 is V, false))(null);
  if (_root != null) {
 int comp = _splay(DDC$RT.cast(key, Object, K, "CastGeneral", """line 331, column 25 of dart:collection/splay_tree.dart: """, key is K, false));
  if (comp == 0) {
 _SplayTreeMapNode mapRoot = DDC$RT.cast(_root, DDC$RT.type((_SplayTreeNode<K> _) {
 }
 ), DDC$RT.type((_SplayTreeMapNode<dynamic, dynamic> _) {
 }
 ), "CastGeneral", """line 333, column 37 of dart:collection/splay_tree.dart: """, _root is _SplayTreeMapNode<dynamic, dynamic>, true);
  return DDC$RT.cast(mapRoot.value, dynamic, V, "CastGeneral", """line 334, column 16 of dart:collection/splay_tree.dart: """, mapRoot.value is V, false);
 }
 }
- return ((__x46) => DDC$RT.cast(__x46, Null, V, "CastLiteral", """line 337, column 12 of dart:collection/splay_tree.dart: """, __x46 is V, false))(null);
+ return ((__x53) => DDC$RT.cast(__x53, Null, V, "CastLiteral", """line 337, column 12 of dart:collection/splay_tree.dart: """, __x53 is V, false))(null);
 }
  V remove(Object key) {
-if (!_validKey(key)) return ((__x47) => DDC$RT.cast(__x47, Null, V, "CastLiteral", """line 341, column 33 of dart:collection/splay_tree.dart: """, __x47 is V, false))(null);
- _SplayTreeMapNode mapRoot = ((__x48) => DDC$RT.cast(__x48, DDC$RT.type((_SplayTreeNode<dynamic> _) {
+if (!_validKey(key)) return ((__x54) => DDC$RT.cast(__x54, Null, V, "CastLiteral", """line 341, column 33 of dart:collection/splay_tree.dart: """, __x54 is V, false))(null);
+ _SplayTreeMapNode mapRoot = ((__x55) => DDC$RT.cast(__x55, DDC$RT.type((_SplayTreeNode<dynamic> _) {
 }
 ), DDC$RT.type((_SplayTreeMapNode<dynamic, dynamic> _) {
 }
-), "CastGeneral", """line 342, column 33 of dart:collection/splay_tree.dart: """, __x48 is _SplayTreeMapNode<dynamic, dynamic>, true))(_remove(DDC$RT.cast(key, Object, K, "CastGeneral", """line 342, column 41 of dart:collection/splay_tree.dart: """, key is K, false)));
+), "CastGeneral", """line 342, column 33 of dart:collection/splay_tree.dart: """, __x55 is _SplayTreeMapNode<dynamic, dynamic>, true))(_remove(DDC$RT.cast(key, Object, K, "CastGeneral", """line 342, column 41 of dart:collection/splay_tree.dart: """, key is K, false)));
  if (mapRoot != null) return DDC$RT.cast(mapRoot.value, dynamic, V, "CastGeneral", """line 343, column 33 of dart:collection/splay_tree.dart: """, mapRoot.value is V, false);
- return ((__x49) => DDC$RT.cast(__x49, Null, V, "CastLiteral", """line 344, column 12 of dart:collection/splay_tree.dart: """, __x49 is V, false))(null);
+ return ((__x56) => DDC$RT.cast(__x56, Null, V, "CastLiteral", """line 344, column 12 of dart:collection/splay_tree.dart: """, __x56 is V, false))(null);
 }
  void operator []=(K key, V value) {
 if (key == null) throw new ArgumentError(key);
  int comp = _splay(key);
  if (comp == 0) {
 _SplayTreeMapNode mapRoot = DDC$RT.cast(_root, DDC$RT.type((_SplayTreeNode<K> _) {
 }
 ), DDC$RT.type((_SplayTreeMapNode<dynamic, dynamic> _) {
 }
 ), "CastGeneral", """line 353, column 35 of dart:collection/splay_tree.dart: """, _root is _SplayTreeMapNode<dynamic, dynamic>, true);
  mapRoot.value = value;
  return;}
- _addNewRoot(((__x50) => DDC$RT.cast(__x50, DDC$RT.type((_SplayTreeMapNode<dynamic, dynamic> _) {
+ _addNewRoot(((__x57) => DDC$RT.cast(__x57, DDC$RT.type((_SplayTreeMapNode<dynamic, dynamic> _) {
 }
 ), DDC$RT.type((_SplayTreeNode<K> _) {
 }
-), "CastExact", """line 357, column 17 of dart:collection/splay_tree.dart: """, __x50 is _SplayTreeNode<K>, false))(new _SplayTreeMapNode(key, value)), comp);
+), "CastExact", """line 357, column 17 of dart:collection/splay_tree.dart: """, __x57 is _SplayTreeNode<K>, false))(new _SplayTreeMapNode(key, value)), comp);
 }
  V putIfAbsent(K key, V ifAbsent()) {
 if (key == null) throw new ArgumentError(key);
  int comp = _splay(key);
  if (comp == 0) {
 _SplayTreeMapNode mapRoot = DDC$RT.cast(_root, DDC$RT.type((_SplayTreeNode<K> _) {
 }
 ), DDC$RT.type((_SplayTreeMapNode<dynamic, dynamic> _) {
 }
 ), "CastGeneral", """line 365, column 35 of dart:collection/splay_tree.dart: """, _root is _SplayTreeMapNode<dynamic, dynamic>, true);
  return DDC$RT.cast(mapRoot.value, dynamic, V, "CastGeneral", """line 366, column 14 of dart:collection/splay_tree.dart: """, mapRoot.value is V, false);
 }
  int modificationCount = _modificationCount;
  int splayCount = _splayCount;
  V value = ifAbsent();
  if (modificationCount != _modificationCount) {
 throw new ConcurrentModificationError(this);
 }
  if (splayCount != _splayCount) {
 comp = _splay(key);
  assert (comp != 0);}
- _addNewRoot(((__x51) => DDC$RT.cast(__x51, DDC$RT.type((_SplayTreeMapNode<dynamic, dynamic> _) {
+ _addNewRoot(((__x58) => DDC$RT.cast(__x58, DDC$RT.type((_SplayTreeMapNode<dynamic, dynamic> _) {
 }
 ), DDC$RT.type((_SplayTreeNode<K> _) {
 }
-), "CastExact", """line 379, column 17 of dart:collection/splay_tree.dart: """, __x51 is _SplayTreeNode<K>, false))(new _SplayTreeMapNode(key, value)), comp);
+), "CastExact", """line 379, column 17 of dart:collection/splay_tree.dart: """, __x58 is _SplayTreeNode<K>, false))(new _SplayTreeMapNode(key, value)), comp);
  return value;
 }
  void addAll(Map<K, V> other) {
 other.forEach((K key, V value) {
 this[key] = value;
 }
 );
 }
  bool get isEmpty {
 return (_root == null);
@@ skipping 46 matching lines @@
 ), DDC$RT.type((_SplayTreeMapNode<dynamic, dynamic> _) {
 }
 ), "CastGeneral", """line 428, column 18 of dart:collection/splay_tree.dart: """, _root is _SplayTreeMapNode<dynamic, dynamic>, true));
 }
  Iterable<K> get keys => new _SplayTreeKeyIterable<K>(this);
  Iterable<V> get values => new _SplayTreeValueIterable<K, V>(this);
  String toString() {
 return Maps.mapToString(this);
 }
  K firstKey() {
-if (_root == null) return ((__x52) => DDC$RT.cast(__x52, Null, K, "CastLiteral", """line 443, column 31 of dart:collection/splay_tree.dart: """, __x52 is K, false))(null);
+if (_root == null) return ((__x59) => DDC$RT.cast(__x59, Null, K, "CastLiteral", """line 443, column 31 of dart:collection/splay_tree.dart: """, __x59 is K, false))(null);
  return DDC$RT.cast(_first.key, dynamic, K, "CastGeneral", """line 444, column 12 of dart:collection/splay_tree.dart: """, _first.key is K, false);
 }
  K lastKey() {
-if (_root == null) return ((__x53) => DDC$RT.cast(__x53, Null, K, "CastLiteral", """line 451, column 31 of dart:collection/splay_tree.dart: """, __x53 is K, false))(null);
+if (_root == null) return ((__x60) => DDC$RT.cast(__x60, Null, K, "CastLiteral", """line 451, column 31 of dart:collection/splay_tree.dart: """, __x60 is K, false))(null);
  return DDC$RT.cast(_last.key, dynamic, K, "CastGeneral", """line 452, column 12 of dart:collection/splay_tree.dart: """, _last.key is K, false);
 }
  K lastKeyBefore(K key) {
 if (key == null) throw new ArgumentError(key);
- if (_root == null) return ((__x54) => DDC$RT.cast(__x54, Null, K, "CastLiteral", """line 461, column 31 of dart:collection/splay_tree.dart: """, __x54 is K, false))(null);
+ if (_root == null) return ((__x61) => DDC$RT.cast(__x61, Null, K, "CastLiteral", """line 461, column 31 of dart:collection/splay_tree.dart: """, __x61 is K, false))(null);
  int comp = _splay(key);
  if (comp < 0) return _root.key;
  _SplayTreeNode<K> node = _root.left;
- if (node == null) return ((__x55) => DDC$RT.cast(__x55, Null, K, "CastLiteral", """line 465, column 30 of dart:collection/splay_tree.dart: """, __x55 is K, false))(null);
+ if (node == null) return ((__x62) => DDC$RT.cast(__x62, Null, K, "CastLiteral", """line 465, column 30 of dart:collection/splay_tree.dart: """, __x62 is K, false))(null);
  while (node.right != null) {
 node = node.right;
 }
  return node.key;
 }
  K firstKeyAfter(K key) {
 if (key == null) throw new ArgumentError(key);
- if (_root == null) return ((__x56) => DDC$RT.cast(__x56, Null, K, "CastLiteral", """line 478, column 31 of dart:collection/splay_tree.dart: """, __x56 is K, false))(null);
+ if (_root == null) return ((__x63) => DDC$RT.cast(__x63, Null, K, "CastLiteral", """line 478, column 31 of dart:collection/splay_tree.dart: """, __x63 is K, false))(null);
  int comp = _splay(key);
  if (comp > 0) return _root.key;
  _SplayTreeNode<K> node = _root.right;
- if (node == null) return ((__x57) => DDC$RT.cast(__x57, Null, K, "CastLiteral", """line 482, column 30 of dart:collection/splay_tree.dart: """, __x57 is K, false))(null);
+ if (node == null) return ((__x64) => DDC$RT.cast(__x64, Null, K, "CastLiteral", """line 482, column 30 of dart:collection/splay_tree.dart: """, __x64 is K, false))(null);
  while (node.left != null) {
 node = node.left;
 }
  return node.key;
 }
 }
  abstract class _SplayTreeIterator<T> implements Iterator<T> {final _SplayTree _tree;
  final List<_SplayTreeNode> _workList = <_SplayTreeNode> [];
  int _modificationCount;
  int _splayCount;
  _SplayTreeNode _currentNode;
  _SplayTreeIterator(_SplayTree tree) : _tree = tree, _modificationCount = tree._modificationCount, _splayCount = tree._splayCount {
 _findLeftMostDescendent(tree._root);
 }
  _SplayTreeIterator.startAt(_SplayTree tree, var startKey) : _tree = tree, _modificationCount = tree._modificationCount {
 if (tree._root == null) return; int compare = tree._splay(startKey);
  _splayCount = tree._splayCount;
  if (compare < 0) {
 _findLeftMostDescendent(tree._root.right);
 }
  else {
 _workList.add(tree._root);
 }
 }
  T get current {
-if (_currentNode == null) return ((__x58) => DDC$RT.cast(__x58, Null, T, "CastLiteral", """line 547, column 38 of dart:collection/splay_tree.dart: """, __x58 is T, false))(null);
+if (_currentNode == null) return ((__x65) => DDC$RT.cast(__x65, Null, T, "CastLiteral", """line 547, column 38 of dart:collection/splay_tree.dart: """, __x65 is T, false))(null);
  return _getValue(_currentNode);
 }
  void _findLeftMostDescendent(_SplayTreeNode node) {
 while (node != null) {
 _workList.add(node);
  node = node.left;
 }
 }
  void _rebuildWorkList(_SplayTreeNode currentNode) {
 assert (!_workList.isEmpty); _workList.clear();
@@ skipping 50 matching lines @@
  class _SplayTreeNodeIterator<K> extends _SplayTreeIterator<_SplayTreeNode<K>> {_SplayTreeNodeIterator(_SplayTree<K> tree) : super(tree);
  _SplayTreeNodeIterator.startAt(_SplayTree<K> tree, var startKey) : super.startAt(tree, startKey);
  _SplayTreeNode<K> _getValue(_SplayTreeNode node) => DDC$RT.cast(node, DDC$RT.type((_SplayTreeNode<dynamic> _) {
 }
 ), DDC$RT.type((_SplayTreeNode<K> _) {
 }
 ), "CastDynamic", """line 644, column 55 of dart:collection/splay_tree.dart: """, node is _SplayTreeNode<K>, false);
 }
  class SplayTreeSet<E> extends _SplayTree<E> with IterableMixin<E>, SetMixin<E> {Comparator _comparator;
  _Predicate _validKey;
- SplayTreeSet([int compare(E key1, E key2), bool isValidKey(potentialKey)]) : _comparator = (compare == null) ? Comparable.compare : compare, _validKey = (isValidKey != null) ? isValidKey : ((v) => v is E);
+ SplayTreeSet([int compare(E key1, E key2), bool isValidKey(potentialKey)]) : _comparator = ((__x69) => DDC$RT.cast(__x69, dynamic, __t66, "CastGeneral", """line 693, column 23 of dart:collection/splay_tree.dart: """, __x69 is __t66, false))((compare == null) ? Comparable.compare : compare), _validKey = ((__x70) => DDC$RT.cast(__x70, dynamic, __t49, "CastGeneral", """line 694, column 21 of dart:collection/splay_tree.dart: """, __x70 is __t49, false))((isValidKey != null) ? isValidKey : ((v) => v is E));
  factory SplayTreeSet.from(Iterable elements, [int compare(E key1, E key2), bool isValidKey(potentialKey)]) {
 SplayTreeSet<E> result = new SplayTreeSet<E>(compare, isValidKey);
  for (final E element in elements) {
 result.add(element);
 }
  return result;
 }
  int _compare(E e1, E e2) => _comparator(e1, e2);
  Iterator<E> get iterator => new _SplayTreeKeyIterator<E>(this);
  int get length => _count;
@@ skipping 11 matching lines @@
 if (_count == 0) throw IterableElementError.noElement();
  if (_count > 1) throw IterableElementError.tooMany();
  return _root.key;
 }
  bool contains(Object object) {
 return _validKey(object) && _splay(DDC$RT.cast(object, Object, E, "CastGeneral", """line 741, column 40 of dart:collection/splay_tree.dart: """, object is E, false)) == 0;
 }
  bool add(E element) {
 int compare = _splay(element);
  if (compare == 0) return false;
- _addNewRoot(((__x59) => DDC$RT.cast(__x59, DDC$RT.type((_SplayTreeNode<dynamic> _) {
+ _addNewRoot(((__x71) => DDC$RT.cast(__x71, DDC$RT.type((_SplayTreeNode<dynamic> _) {
 }
 ), DDC$RT.type((_SplayTreeNode<E> _) {
 }
-), "CastExact", """line 747, column 17 of dart:collection/splay_tree.dart: """, __x59 is _SplayTreeNode<E>, false))(new _SplayTreeNode(element)), compare);
+), "CastExact", """line 747, column 17 of dart:collection/splay_tree.dart: """, __x71 is _SplayTreeNode<E>, false))(new _SplayTreeNode(element)), compare);
  return true;
 }
  bool remove(Object object) {
 if (!_validKey(object)) return false;
  return _remove(DDC$RT.cast(object, Object, E, "CastGeneral", """line 753, column 20 of dart:collection/splay_tree.dart: """, object is E, false)) != null;
 }
  void addAll(Iterable<E> elements) {
 for (E element in elements) {
 int compare = _splay(element);
  if (compare != 0) {
-_addNewRoot(((__x60) => DDC$RT.cast(__x60, DDC$RT.type((_SplayTreeNode<dynamic> _) {
+_addNewRoot(((__x72) => DDC$RT.cast(__x72, DDC$RT.type((_SplayTreeNode<dynamic> _) {
 }
 ), DDC$RT.type((_SplayTreeNode<E> _) {
 }
-), "CastExact", """line 760, column 21 of dart:collection/splay_tree.dart: """, __x60 is _SplayTreeNode<E>, false))(new _SplayTreeNode(element)), compare);
+), "CastExact", """line 760, column 21 of dart:collection/splay_tree.dart: """, __x72 is _SplayTreeNode<E>, false))(new _SplayTreeNode(element)), compare);
 }
 }
 }
  void removeAll(Iterable<Object> elements) {
 for (Object element in elements) {
 if (_validKey(element)) _remove(DDC$RT.cast(element, Object, E, "CastGeneral", """line 767, column 39 of dart:collection/splay_tree.dart: """, element is E, false));
 }
 }
  void retainAll(Iterable<Object> elements) {
 SplayTreeSet<E> retainSet = new SplayTreeSet<E>(_comparator, _validKey);
  int modificationCount = _modificationCount;
  for (Object object in elements) {
 if (modificationCount != _modificationCount) {
 throw new ConcurrentModificationError(this);
 }
  if (_validKey(object) && _splay(DDC$RT.cast(object, Object, E, "CastGeneral", """line 781, column 39 of dart:collection/splay_tree.dart: """, object is E, false)) == 0) retainSet.add(_root.key);
 }
  if (retainSet._count != _count) {
 _root = retainSet._root;
  _count = retainSet._count;
  _modificationCount++;
 }
 }
  E lookup(Object object) {
-if (!_validKey(object)) return ((__x61) => DDC$RT.cast(__x61, Null, E, "CastLiteral", """line 792, column 36 of dart:collection/splay_tree.dart: """, __x61 is E, false))(null);
+if (!_validKey(object)) return ((__x73) => DDC$RT.cast(__x73, Null, E, "CastLiteral", """line 792, column 36 of dart:collection/splay_tree.dart: """, __x73 is E, false))(null);
  int comp = _splay(DDC$RT.cast(object, Object, E, "CastGeneral", """line 793, column 23 of dart:collection/splay_tree.dart: """, object is E, false));
- if (comp != 0) return ((__x62) => DDC$RT.cast(__x62, Null, E, "CastLiteral", """line 794, column 27 of dart:collection/splay_tree.dart: """, __x62 is E, false))(null);
+ if (comp != 0) return ((__x74) => DDC$RT.cast(__x74, Null, E, "CastLiteral", """line 794, column 27 of dart:collection/splay_tree.dart: """, __x74 is E, false))(null);
  return _root.key;
 }
  Set<E> intersection(Set<E> other) {
 Set<E> result = new SplayTreeSet<E>(_comparator, _validKey);
  for (E element in this) {
 if (other.contains(element)) result.add(element);
 }
  return result;
 }
  Set<E> difference(Set<E> other) {
@@ skipping 15 matching lines @@
  _SplayTreeNode<E> _copyNode(_SplayTreeNode<E> node) {
 if (node == null) return null;
  return new _SplayTreeNode<E>(node.key)..left = _copyNode(node.left)..right = _copyNode(node.right);
 }
  void clear() {
 _clear();
 }
  Set<E> toSet() => _clone();
  String toString() => IterableBase.iterableToFullString(this, '{', '}');
 }
+ typedef int __t45<K>(K __u46, K __u47);
+ typedef bool __t49(dynamic __u50);
+ typedef int __t66(dynamic __u67, dynamic __u68);