Inference casts to dynamic, fuzzy types handled

test/checker/inferred_type_test.dart

Index: test/checker/inferred_type_test.dart
diff --git a/test/checker/inferred_type_test.dart b/test/checker/inferred_type_test.dart
index e550fe17b9761e14f388d327b2b4af5053a0baf4..0c2c485847c520b0a4e2b987a8c9eac5b1c9f1fd 100644
--- a/test/checker/inferred_type_test.dart
+++ b/test/checker/inferred_type_test.dart
@@ -1493,16 +1493,17 @@ void main() {
         }
         {
           Function2<int, List<String>> l0 = (int x) => null;
-          Function2<int, List<String>> l1 = /*info:InferredTypeClosure*/(int x) => /*info:InferredTypeLiteral*/["hello"];
+          Function2<int, List<String>> l1 = /*info:InferredTypeClosure*/(int x) => ["hello"];
           Function2<int, List<String>> l2 = /*severe:StaticTypeError*/(String x) => ["hello"];
           Function2<int, List<String>> l3 = /*warning:InferableClosure should be severe:StaticTypeError*/(int x) => [3];
           Function2<int, List<String>> l4 = /*warning:InferableClosure should be severe:StaticTypeError*/(int x) {return [3]};
         }
         {
-          Function2<int, int> l0 = /*warning:InferableClosure should be info:InferredTypeClosure*/(x) => x;
-          Function2<int, int> l1 = /*warning:InferableClosure should be info:InferredTypeClosure*/(x) => x+1;
-          Function2<int, String> l2 = /*warning:InferableClosure should be severe:StaticTypeError*/(x) => x;
-          Function2<int, String> l3 = /*warning:InferableClosure should be severe:StaticTypeError*/(x) => /*warning:DynamicInvoke should be pass*/x.substring(3);
+          Function2<int, int> l0 = /*info:InferredTypeClosure*/(x) => x;
+          Function2<int, int> l1 = /*info:InferredTypeClosure*/(x) => x+1;

[Leaf, 2015/04/03 22:23:23]

This now succeeds, though arguably for the wrong reason.

+          Function2<int, String> l2 = /*info:InferredTypeClosure should be severe:StaticTypeError*/(x) => x;

[Leaf, 2015/04/03 22:23:23]

This is an example of a case where allowing casts from dynamic makes things
worse - it would be nice to reject this case statically.  

+          Function2<int, String> l3 = /*info:InferredTypeClosure should be severe:StaticTypeError*/(x) => /*warning:DynamicInvoke should be pass*/x.substring(3);
+          Function2<String, String> l4 = /*info:InferredTypeClosure*/(x) => /*warning:DynamicInvoke should be pass*/x.substring(3);
         }
       }
       '''