| Index: pkg/front_end/testcases/runtime_checks/covariant_generic_parameter.dart
|
| diff --git a/pkg/front_end/testcases/runtime_checks/covariant_generic_parameter.dart b/pkg/front_end/testcases/runtime_checks/covariant_generic_parameter.dart
|
| index 01154e988a577a6fcbbb640216e2569350849cc1..ab2f170ee4395e8055c18408bf1ec09f6a08405c 100644
|
| --- a/pkg/front_end/testcases/runtime_checks/covariant_generic_parameter.dart
|
| +++ b/pkg/front_end/testcases/runtime_checks/covariant_generic_parameter.dart
|
| @@ -6,19 +6,19 @@
|
| library test;
|
|
|
| class C<T> {
|
| - void f(T /*@checkFormal=semiSafe*/ x) {}
|
| + void f(T /*@checkFormal=semiSafe*/ /*@checkInterface=semiTyped*/ x) {}
|
| }
|
|
|
| void g1(C<num> c) {
|
| - c.f /*@checkCall=interface(semiTyped:0)*/ (1.5);
|
| + c.f(1.5);
|
| }
|
|
|
| void g2(C<int> c) {
|
| - c.f /*@checkCall=interface(semiTyped:0)*/ (1);
|
| + c.f(1);
|
| }
|
|
|
| void g3(C<num> c) {
|
| - c.f /*@checkCall=interface(semiTyped:0)*/ (null);
|
| + c.f(null);
|
| }
|
|
|
| main() {}
|
|
|