Generated front_end/testcases/inference test files from Analyzer tests.

pkg/front_end/testcases/inference/generic_methods_handle_override_of_non_generic_with_generic.dart

Index: pkg/front_end/testcases/inference/generic_methods_handle_override_of_non_generic_with_generic.dart
diff --git a/pkg/front_end/testcases/inference/generic_methods_handle_override_of_non_generic_with_generic.dart b/pkg/front_end/testcases/inference/generic_methods_handle_override_of_non_generic_with_generic.dart
new file mode 100644
index 0000000000000000000000000000000000000000..9ff8fc00c93d947b28738cf959b47d561b0f26f1
--- /dev/null
+++ b/pkg/front_end/testcases/inference/generic_methods_handle_override_of_non_generic_with_generic.dart
@@ -0,0 +1,21 @@
+// Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/*@testedFeatures=inference*/
+library test;
+
+class C {
+  m(x) => x;
+  dynamic g(int x) => x;
+}
+
+class D extends C {
+  /*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);
+  print(/*@promotedType=none*/ y);
+}