Downward inference

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 54 matching lines @@
  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 = ((__x17) => DEVC$RT.cast(__x17, DEVC$RT.type((DoubleLinkedQueue<dynamic> _) {
-}
-), DEVC$RT.type((Queue<E> _) {
-}
-), "InferableAllocation", """line 207, column 21 of dart:collection/queue.dart: """, __x17 is Queue<E>, false))(new DoubleLinkedQueue());
+Queue<E> list = new DoubleLinkedQueue<E>();
  for (final E e in elements) {
 list.addLast(e);
 }
  return DEVC$RT.cast(list, DEVC$RT.type((Queue<E> _) {
 }
 ), DEVC$RT.type((DoubleLinkedQueue<E> _) {
 }
 ), "CompositeCast", """line 211, column 12 of dart:collection/queue.dart: """, list is DoubleLinkedQueue<E>, false);
 }
  int get length => _elementCount;
@@ skipping 119 matching lines @@
 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 = ((__x18) => DEVC$RT.cast(__x18, DEVC$RT.type((ListQueue<dynamic> _) {
+ ListQueue<E> queue = ((__x17) => DEVC$RT.cast(__x17, DEVC$RT.type((ListQueue<dynamic> _) {
 }
 ), DEVC$RT.type((ListQueue<E> _) {
 }
-), "InferableAllocation", """line 399, column 28 of dart:collection/queue.dart: """, __x18 is ListQueue<E>, false))(new ListQueue(length + 1));
+), "InferableAllocation", """line 399, column 28 of dart:collection/queue.dart: """, __x17 is ListQueue<E>, false))(new ListQueue(length + 1));
  assert (queue._table.length > length); List sourceList = elements;
  queue._table.setRange(0, length, DEVC$RT.cast(sourceList, DEVC$RT.type((List<dynamic> _) {
 }
 ), DEVC$RT.type((Iterable<E> _) {
 }
 ), "CompositeCast", """line 402, column 40 of dart:collection/queue.dart: """, sourceList is Iterable<E>, false), 0);
  queue._tail = length;
  return queue;
 }
  else {
@@ skipping 253 matching lines @@
  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 = null;
  return false;
 }
- _current = ((__x19) => DEVC$RT.cast(__x19, dynamic, E, "CompositeCast", """line 738, column 16 of dart:collection/queue.dart: """, __x19 is E, false))(_queue._table[_position]);
+ _current = ((__x18) => DEVC$RT.cast(__x18, dynamic, E, "CompositeCast", """line 738, column 16 of dart:collection/queue.dart: """, __x18 is E, false))(_queue._table[_position]);
  _position = (_position + 1) & (_queue._table.length - 1);
  return true;
 }
 }