Index: pkg/front_end/testcases/inference_new/downwards_inference_inside_top_level.dart |
diff --git a/pkg/front_end/testcases/inference/unsafe_block_closure_inference_function_call_explicit_type_param_via_expr2.dart b/pkg/front_end/testcases/inference_new/downwards_inference_inside_top_level.dart |
similarity index 58% |
copy from pkg/front_end/testcases/inference/unsafe_block_closure_inference_function_call_explicit_type_param_via_expr2.dart |
copy to pkg/front_end/testcases/inference_new/downwards_inference_inside_top_level.dart |
index cdae18320ec55b10bfda61c45dae92196d2f9744..98bd7ec1de69599dac7861ce3ed58a856fd3dfdf 100644 |
--- a/pkg/front_end/testcases/inference/unsafe_block_closure_inference_function_call_explicit_type_param_via_expr2.dart |
+++ b/pkg/front_end/testcases/inference_new/downwards_inference_inside_top_level.dart |
@@ -5,11 +5,17 @@ |
/*@testedFeatures=inference*/ |
library test; |
-List<T> f<T>(T g()) => <T>[g()]; |
-var /*@topType=dynamic*/ v = (f) /*@typeArgs=int*/ (/*@returnType=int*/ () { |
- return 1; |
-}); |
+class A { |
+ B<int> b; |
+} |
-main() { |
- v; |
+class B<T> { |
+ B(T x); |
} |
+ |
+var /*@topType=List<B<int>>*/ t3 = /*@typeArgs=B<int>*/ [ |
+ new |
+ /*error:TOP_LEVEL_TYPE_ARGUMENTS*/ /*@typeArgs=int*/ B(3) |
+]; |
+ |
+main() {} |