Index: pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart |
diff --git a/pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart b/pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart |
index 3e0ba7661cebe27e1d2084da27b53fb1b2839da8..ba11a16585c01235060da8b0723610dcd3329abc 100644 |
--- a/pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart |
+++ b/pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart |
@@ -21,7 +21,8 @@ abstract class C { |
AsserterBuilder<List<Asserter<DartType>>, DartType> assertAOf; |
AsserterBuilder<List<Asserter<DartType>>, DartType> get assertDOf; |
- method(AsserterBuilder<List<Asserter<DartType>>, DartType> assertEOf) { |
+ /*@topType=dynamic*/ method( |
+ AsserterBuilder<List<Asserter<DartType>>, DartType> assertEOf) { |
/*@target=C::assertAOf*/ assertAOf( |
/*@typeArgs=(DartType) -> void*/ [_isInt, _isString]); |
assertBOf( |
@@ -39,7 +40,8 @@ abstract class G<T> { |
AsserterBuilder<List<Asserter<DartType>>, DartType> assertAOf; |
AsserterBuilder<List<Asserter<DartType>>, DartType> get assertDOf; |
- method(AsserterBuilder<List<Asserter<DartType>>, DartType> assertEOf) { |
+ /*@topType=dynamic*/ method( |
+ AsserterBuilder<List<Asserter<DartType>>, DartType> assertEOf) { |
/*@target=G::assertAOf*/ assertAOf( |
/*@typeArgs=(DartType) -> void*/ [_isInt, _isString]); |
this. /*@target=G::assertAOf*/ assertAOf( |