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 1485 matching lines @@
 
             List<int> l2 = /*warning:InferableLiteral*/[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);
           }
    '''
-    });
+    }, 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;
           }
       '''
     });
   });
 }