| Index: pkg/front_end/testcases/inference/generic_methods_do_not_infer_invalid_override_of_generic_method.dart
|
| diff --git a/pkg/front_end/testcases/inference/generic_methods_do_not_infer_invalid_override_of_generic_method.dart b/pkg/front_end/testcases/inference/generic_methods_do_not_infer_invalid_override_of_generic_method.dart
|
| index c6ce8f0e25cf7b990424c8b96998e9280f06eba9..4364e7fb6a2dd1a3c1f389de01f018b22e15f224 100644
|
| --- a/pkg/front_end/testcases/inference/generic_methods_do_not_infer_invalid_override_of_generic_method.dart
|
| +++ b/pkg/front_end/testcases/inference/generic_methods_do_not_infer_invalid_override_of_generic_method.dart
|
| @@ -6,16 +6,16 @@
|
| library test;
|
|
|
| class C {
|
| - T m<T>(T x) => /*@promotedType=none*/ x;
|
| + T m<T>(T x) => x;
|
| }
|
|
|
| class D extends C {
|
| -/*error:INVALID_METHOD_OVERRIDE*/ m(x) => /*@promotedType=none*/ x;
|
| +/*error:INVALID_METHOD_OVERRIDE*/ m(x) => x;
|
| }
|
|
|
| main() {
|
| int y = /*info:DYNAMIC_CAST*/ new D()
|
| . /*error:WRONG_NUMBER_OF_TYPE_ARGUMENTS_METHOD*/ /*@target=D::m*/ m<int>(
|
| 42);
|
| - print(/*@promotedType=none*/ y);
|
| + print(y);
|
| }
|
|
|