Downward inference

test/checker/checker_test.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /// General type checking tests
 library dev_compiler.test.checker_test;
 
 import 'package:unittest/unittest.dart';
 
 import 'package:dev_compiler/src/testing.dart';
@@ skipping 1471 matching lines @@
   test('Subtyping literals', () {
     testChecker({
       '/main.dart': '''
           test() {
             Iterable i1 = [1, 2, 3];
             i1 = <int>[1, 2, 3];
 
             List l1 = [1, 2, 3];
             l1 = <int>[1, 2, 3];
 
-            Iterable<int> i2 = /*warning:InferableLiteral*/[1, 2, 3];
+            Iterable<int> i2 = /*severe:StaticTypeError*/[1, 2, 3];
             i2 = /*warning:DownCastComposite*/i1;
             i2 = /*warning:DownCastComposite*/l1;
             i2 = <int>[1, 2, 3];
 
-            List<int> l2 = /*warning:InferableLiteral*/[1, 2, 3];
+            List<int> l2 = /*severe:StaticTypeError*/[1, 2, 3];
             l2 = /*warning:DownCastComposite*/i1;
             l2 = /*warning:DownCastComposite*/l1;
 
-            l2 = /*warning:InferableAllocation*/new List();
-            l2 = /*warning:InferableAllocation*/new List(10);
-            l2 = /*warning:InferableAllocation*/new List.filled(10, 42);
+            l2 = /*severe:StaticTypeError*/new List();
+            l2 = /*severe:StaticTypeError*/new List(10);
+            l2 = /*severe:StaticTypeError*/new List.filled(10, 42);
           }
    '''
-    });
+    }, inferDownwards: false);
   });
 
   test('Type checking literals', () {
     testChecker({
       '/main.dart': '''
           test() {
             num n = 3;
             int i = 3;
             String s = "hello";
             {
@@ skipping 1283 matching lines @@
             f = bar as II2D;
             f = bar as DD2I;
             f = bar as DI2D;
             f = bar as ID2D;
             f = bar as DD2D;
           }
       '''
     });
   });
 }