Inference casts to dynamic, fuzzy types handled

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 917 matching lines @@
       void main() {
         F f1 = (x, y) => x + y;
         F<int> f2 = /*warning:ClosureWrapLiteral*/(x, y) => x + y;
         D f3 = (x, y) => x + y;
         Function f4 = (x, y) => x + y;
         f2 = /*warning:ClosureWrap*/f1;
         f1 = (int x, int y) => x + y;
         f2 = /*severe:StaticTypeError*/(int x) => -x;
       }
    '''
-    }, wrapClosures: true);
+    }, wrapClosures: true, inferDownwards: false);
   });
 
   test('Generic subtyping: invariance', () {
     testChecker({
       '/main.dart': '''
 
       class A {}
       class B extends A {}
       class C implements A {}
 
@@ skipping 1850 matching lines @@
             f = bar as II2D;
             f = bar as DD2I;
             f = bar as DI2D;
             f = bar as ID2D;
             f = bar as DD2D;
           }
       '''
     });
   });
 }