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 0a652b2b23f2c662ba041dd4de015b69a293d74e..d4849f62f4a758ce79cf79e799b7b381514ffe99 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 DEVC$RT.cast(elements, DEVC$RT.type((Iterable<dynamic> _) {
 }
 ), DEVC$RT.type((Iterable<E> _) {
@@ -220,11 +216,7 @@ 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> _) {
-}
-), DEVC$RT.type((ListQueue<E> _) {
-}
-), "InferableAllocation", """line 399, column 28 of dart:collection/queue.dart: """, __x18 is ListQueue<E>, false))(new ListQueue(length + 1));
+ ListQueue<E> queue = new ListQueue<E>(length + 1);
  assert (queue._table.length > length); List sourceList = elements;
  queue._table.setRange(0, length, DEVC$RT.cast(sourceList, DEVC$RT.type((List<dynamic> _) {
 }
@@ -502,7 +494,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 = ((__x17) => DEVC$RT.cast(__x17, dynamic, E, "CompositeCast", """line 738, column 16 of dart:collection/queue.dart: """, __x17 is E, false))(_queue._table[_position]);
  _position = (_position + 1) & (_queue._table.length - 1);
  return true;
 }