Typecheck constructor initializers properly

test/dart_codegen/expect/collection/queue.dart

 part of dart.collection;
  abstract class Queue<E> implements Iterable<E>, EfficientLength {factory Queue() = ListQueue<E>;
  factory Queue.from(Iterable elements) = ListQueue<E>.from;
  E removeFirst();
  E removeLast();
  void addFirst(E value);
  void addLast(E value);
  void add(E value);
  bool remove(Object object);
  void addAll(Iterable<E> iterable);
@@ skipping 33 matching lines @@
  DoubleLinkedQueueEntry<E> nextEntry() {
 return _next._asNonSentinelEntry();
 }
  E get element {
 return _element;
 }
  void set element(E e) {
 _element = e;
 }
 }
- class _DoubleLinkedQueueEntrySentinel<E> extends DoubleLinkedQueueEntry<E> {_DoubleLinkedQueueEntrySentinel() : super(((__x32) => DDC$RT.cast(__x32, Null, E, "CastLiteral", """line 164, column 45 of dart:collection/queue.dart: """, __x32 is E, false))(null)) {
+ class _DoubleLinkedQueueEntrySentinel<E> extends DoubleLinkedQueueEntry<E> {_DoubleLinkedQueueEntrySentinel() : super(((__x38) => DDC$RT.cast(__x38, Null, E, "CastLiteral", """line 164, column 45 of dart:collection/queue.dart: """, __x38 is E, false))(null)) {
 _link(this, this);
 }
  E remove() {
 throw IterableElementError.noElement();
 }
  DoubleLinkedQueueEntry<E> _asNonSentinelEntry() {
 return null;
 }
  void set element(E e) {
 assert (false);}
  E get element {
 throw IterableElementError.noElement();
 }
 }
  class DoubleLinkedQueue<E> extends IterableBase<E> implements Queue<E> {_DoubleLinkedQueueEntrySentinel<E> _sentinel;
  int _elementCount = 0;
  DoubleLinkedQueue() {
 _sentinel = new _DoubleLinkedQueueEntrySentinel<E>();
 }
  factory DoubleLinkedQueue.from(Iterable elements) {
-Queue<E> list = ((__x33) => DDC$RT.cast(__x33, DDC$RT.type((DoubleLinkedQueue<dynamic> _) {
+Queue<E> list = ((__x39) => DDC$RT.cast(__x39, DDC$RT.type((DoubleLinkedQueue<dynamic> _) {
 }
 ), DDC$RT.type((Queue<E> _) {
 }
-), "CastExact", """line 207, column 21 of dart:collection/queue.dart: """, __x33 is Queue<E>, false))(new DoubleLinkedQueue());
+), "CastExact", """line 207, column 21 of dart:collection/queue.dart: """, __x39 is Queue<E>, false))(new DoubleLinkedQueue());
  for (final E e in elements) {
 list.addLast(e);
 }
  return DDC$RT.cast(list, DDC$RT.type((Queue<E> _) {
 }
 ), DDC$RT.type((DoubleLinkedQueue<E> _) {
 }
 ), "CastGeneral", """line 211, column 12 of dart:collection/queue.dart: """, list is DoubleLinkedQueue<E>, false);
 }
  int get length => _elementCount;
@@ skipping 96 matching lines @@
  class _DoubleLinkedQueueIterator<E> implements Iterator<E> {_DoubleLinkedQueueEntrySentinel<E> _sentinel;
  DoubleLinkedQueueEntry<E> _nextEntry = null;
  E _current;
  _DoubleLinkedQueueIterator(_DoubleLinkedQueueEntrySentinel<E> sentinel) : _sentinel = sentinel, _nextEntry = sentinel._next;
  bool moveNext() {
 if (!identical(_nextEntry, _sentinel)) {
 _current = _nextEntry._element;
  _nextEntry = _nextEntry._next;
  return true;
 }
- _current = ((__x34) => DDC$RT.cast(__x34, Null, E, "CastLiteral", """line 348, column 16 of dart:collection/queue.dart: """, __x34 is E, false))(null);
+ _current = ((__x40) => DDC$RT.cast(__x40, Null, E, "CastLiteral", """line 348, column 16 of dart:collection/queue.dart: """, __x40 is E, false))(null);
  _nextEntry = _sentinel = null;
  return false;
 }
  E get current => _current;
 }
  class ListQueue<E> extends IterableBase<E> implements Queue<E> {static const int _INITIAL_CAPACITY = 8;
  List<E> _table;
  int _head;
  int _tail;
  int _modificationCount = 0;
  ListQueue([int initialCapacity]) : _head = 0, _tail = 0 {
 if (initialCapacity == null || initialCapacity < _INITIAL_CAPACITY) {
 initialCapacity = _INITIAL_CAPACITY;
 }
  else if (!_isPowerOf2(initialCapacity)) {
 initialCapacity = _nextPowerOf2(initialCapacity);
 }
  assert (_isPowerOf2(initialCapacity)); _table = new List<E>(initialCapacity);
 }
  factory ListQueue.from(Iterable elements) {
 if (elements is List) {
 int length = elements.length;
- ListQueue<E> queue = ((__x35) => DDC$RT.cast(__x35, DDC$RT.type((ListQueue<dynamic> _) {
+ ListQueue<E> queue = ((__x41) => DDC$RT.cast(__x41, DDC$RT.type((ListQueue<dynamic> _) {
 }
 ), DDC$RT.type((ListQueue<E> _) {
 }
-), "CastExact", """line 399, column 28 of dart:collection/queue.dart: """, __x35 is ListQueue<E>, false))(new ListQueue(length + 1));
+), "CastExact", """line 399, column 28 of dart:collection/queue.dart: """, __x41 is ListQueue<E>, false))(new ListQueue(length + 1));
  assert (queue._table.length > length); List sourceList = elements;
  queue._table.setRange(0, length, DDC$RT.cast(sourceList, DDC$RT.type((List<dynamic> _) {
 }
 ), DDC$RT.type((Iterable<E> _) {
 }
 ), "CastDynamic", """line 402, column 40 of dart:collection/queue.dart: """, sourceList is Iterable<E>, false), 0);
  queue._tail = length;
  return queue;
 }
  else {
@@ skipping 130 matching lines @@
 }
  void removeWhere(bool test(E element)) {
 _filterWhere(test, true);
 }
  void retainWhere(bool test(E element)) {
 _filterWhere(test, false);
 }
  void clear() {
 if (_head != _tail) {
 for (int i = _head; i != _tail; i = (i + 1) & (_table.length - 1)) {
-_table[i] = ((__x36) => DDC$RT.cast(__x36, Null, E, "CastLiteral", """line 553, column 21 of dart:collection/queue.dart: """, __x36 is E, false))(null);
+_table[i] = ((__x42) => DDC$RT.cast(__x42, Null, E, "CastLiteral", """line 553, column 21 of dart:collection/queue.dart: """, __x42 is E, false))(null);
 }
  _head = _tail = 0;
  _modificationCount++;
 }
 }
  String toString() => IterableBase.iterableToFullString(this, "{", "}");
  void addLast(E element) {
 _add(element);
 }
  void addFirst(E element) {
 _head = (_head - 1) & (_table.length - 1);
  _table[_head] = element;
  if (_head == _tail) _grow();
  _modificationCount++;
 }
  E removeFirst() {
 if (_head == _tail) throw IterableElementError.noElement();
  _modificationCount++;
  E result = _table[_head];
- _table[_head] = ((__x37) => DDC$RT.cast(__x37, Null, E, "CastLiteral", """line 577, column 21 of dart:collection/queue.dart: """, __x37 is E, false))(null);
+ _table[_head] = ((__x43) => DDC$RT.cast(__x43, Null, E, "CastLiteral", """line 577, column 21 of dart:collection/queue.dart: """, __x43 is E, false))(null);
  _head = (_head + 1) & (_table.length - 1);
  return result;
 }
  E removeLast() {
 if (_head == _tail) throw IterableElementError.noElement();
  _modificationCount++;
  _tail = (_tail - 1) & (_table.length - 1);
  E result = _table[_tail];
- _table[_tail] = ((__x38) => DDC$RT.cast(__x38, Null, E, "CastLiteral", """line 587, column 21 of dart:collection/queue.dart: """, __x38 is E, false))(null);
+ _table[_tail] = ((__x44) => DDC$RT.cast(__x44, Null, E, "CastLiteral", """line 587, column 21 of dart:collection/queue.dart: """, __x44 is E, false))(null);
  return result;
 }
  static bool _isPowerOf2(int number) => (number & (number - 1)) == 0;
  static int _nextPowerOf2(int number) {
 assert (number > 0); number = (number << 1) - 1;
  for (;;) {
 int nextNumber = number & (number - 1);
  if (nextNumber == 0) return number;
  number = nextNumber;
 }
@@ skipping 13 matching lines @@
 int mask = _table.length - 1;
  int startDistance = (offset - _head) & mask;
  int endDistance = (_tail - offset) & mask;
  if (startDistance < endDistance) {
 int i = offset;
  while (i != _head) {
 int prevOffset = (i - 1) & mask;
  _table[i] = _table[prevOffset];
  i = prevOffset;
 }
- _table[_head] = ((__x39) => DDC$RT.cast(__x39, Null, E, "CastLiteral", """line 654, column 23 of dart:collection/queue.dart: """, __x39 is E, false))(null);
+ _table[_head] = ((__x45) => DDC$RT.cast(__x45, Null, E, "CastLiteral", """line 654, column 23 of dart:collection/queue.dart: """, __x45 is E, false))(null);
  _head = (_head + 1) & mask;
  return (offset + 1) & mask;
 }
  else {
 _tail = (_tail - 1) & mask;
  int i = offset;
  while (i != _tail) {
 int nextOffset = (i + 1) & mask;
  _table[i] = _table[nextOffset];
  i = nextOffset;
 }
- _table[_tail] = ((__x40) => DDC$RT.cast(__x40, Null, E, "CastLiteral", """line 665, column 23 of dart:collection/queue.dart: """, __x40 is E, false))(null);
+ _table[_tail] = ((__x46) => DDC$RT.cast(__x46, Null, E, "CastLiteral", """line 665, column 23 of dart:collection/queue.dart: """, __x46 is E, false))(null);
  return offset;
 }
 }
  void _grow() {
 List<E> newTable = new List<E>(_table.length * 2);
  int split = _table.length - _head;
  newTable.setRange(0, split, _table, _head);
  newTable.setRange(split, split + _head, _table, 0);
  _head = 0;
  _tail = _table.length;
@@ skipping 24 matching lines @@
  class _ListQueueIterator<E> implements Iterator<E> {final ListQueue _queue;
  final int _end;
  final int _modificationCount;
  int _position;
  E _current;
  _ListQueueIterator(ListQueue queue) : _queue = queue, _end = queue._tail, _modificationCount = queue._modificationCount, _position = queue._head;
  E get current => _current;
  bool moveNext() {
 _queue._checkModification(_modificationCount);
  if (_position == _end) {
-_current = ((__x41) => DDC$RT.cast(__x41, Null, E, "CastLiteral", """line 735, column 18 of dart:collection/queue.dart: """, __x41 is E, false))(null);
+_current = ((__x47) => DDC$RT.cast(__x47, Null, E, "CastLiteral", """line 735, column 18 of dart:collection/queue.dart: """, __x47 is E, false))(null);
  return false;
 }
- _current = ((__x42) => DDC$RT.cast(__x42, dynamic, E, "CastGeneral", """line 738, column 16 of dart:collection/queue.dart: """, __x42 is E, false))(_queue._table[_position]);
+ _current = ((__x48) => DDC$RT.cast(__x48, dynamic, E, "CastGeneral", """line 738, column 16 of dart:collection/queue.dart: """, __x48 is E, false))(_queue._table[_position]);
  _position = (_position + 1) & (_queue._table.length - 1);
  return true;
 }
 }