Index: pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_5.dart |
diff --git a/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_5.dart b/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_5.dart |
index 5025679845e788edb5d5f23c7eebd92438a35c3f..473e12935ef95f49cdc5e630271c4d862a9fad32 100644 |
--- a/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_5.dart |
+++ b/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_5.dart |
@@ -6,12 +6,12 @@ |
library test; |
abstract class I<E> { |
- String m(a, String f(v, E e)); |
+ String m(/*@topType=dynamic*/ a, String f(v, E e)); |
} |
abstract class A<E> implements I<E> { |
const A(); |
- String m(a, String f(v, E e)); |
+ String m(/*@topType=dynamic*/ a, String f(v, E e)); |
} |
abstract class M { |
@@ -22,7 +22,7 @@ class B<E> extends A<E> implements M { |
const B(); |
int get y => 0; |
- m(a, f(v, E e)) {} |
+ /*@topType=String*/ m(/*@topType=dynamic*/ a, f(v, E e)) {} |
} |
foo() { |