restrict generic function type subtyping

pkg/analyzer/test/src/task/strong/inferred_type_test.dart

Index: pkg/analyzer/test/src/task/strong/inferred_type_test.dart
diff --git a/pkg/analyzer/test/src/task/strong/inferred_type_test.dart b/pkg/analyzer/test/src/task/strong/inferred_type_test.dart
index 79798808ad6ae847a1a0e2906bf8fb5c657e042d..db3982841f56db273edf3fb623de64a379bc1fd9 100644
--- a/pkg/analyzer/test/src/task/strong/inferred_type_test.dart
+++ b/pkg/analyzer/test/src/task/strong/inferred_type_test.dart
@@ -2263,26 +2263,8 @@ class C {
   dynamic g(int x) => x;
 }
 class D extends C {
-  T m<T>(T x) => x;
-  T g<T>(T x) => x;
-}
-main() {
-  int y = /*info:DYNAMIC_CAST*/(/*info:UNNECESSARY_CAST*/new D() as C).m(42);
-  print(y);
-}
-  ''');
-  }
-
-  void test_genericMethods_handleOverrideOfNonGenericWithGeneric_comment() {
-    // Regression test for crash when adding genericity
-    checkFile('''
-class C {
-  m(x) => x;
-  dynamic g(int x) => x;
-}
-class D extends C {
-  /*=T*/ m/*<T>*/(/*=T*/ x) => x;
-  /*=T*/ g/*<T>*/(/*=T*/ x) => x;
+  /*error:INVALID_METHOD_OVERRIDE*/T m<T>(T x) => x;
+  /*error:INVALID_METHOD_OVERRIDE*/T g<T>(T x) => x;
 }
 main() {
   int y = /*info:DYNAMIC_CAST*/(/*info:UNNECESSARY_CAST*/new D() as C).m(42);