Downward inference

test/dart_codegen/expect/collection/queue.dart

Index: test/dart_codegen/expect/collection/queue.dart
diff --git a/test/dart_codegen/expect/collection/queue.dart b/test/dart_codegen/expect/collection/queue.dart
index 88305462dc84760112afcb072c45f0e63cec7b41..bb4f81830968d28eb096c1514d56793b3a35464f 100644
--- a/test/dart_codegen/expect/collection/queue.dart
+++ b/test/dart_codegen/expect/collection/queue.dart
@@ -72,11 +72,7 @@ throw IterableElementError.noElement();
 _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);
 }
@@ -216,11 +212,11 @@ initialCapacity = _nextPowerOf2(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> _) {
 }
@@ -494,7 +490,7 @@ _queue._checkModification(_modificationCount);
 _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;
 }