Index: pkg/front_end/testcases/inference/generic_methods_do_not_infer_invalid_override_of_generic_method.dart.direct.expect |
diff --git a/pkg/front_end/testcases/inference/generic_methods_do_not_infer_invalid_override_of_generic_method.dart.direct.expect b/pkg/front_end/testcases/inference/generic_methods_do_not_infer_invalid_override_of_generic_method.dart.direct.expect |
new file mode 100644 |
index 0000000000000000000000000000000000000000..b1375434271fdf02b5bc8b9a9e73e3f63fb7626d |
--- /dev/null |
+++ b/pkg/front_end/testcases/inference/generic_methods_do_not_infer_invalid_override_of_generic_method.dart.direct.expect |
@@ -0,0 +1,22 @@ |
+library test; |
+import self as self; |
+import "dart:core" as core; |
+ |
+class C extends core::Object { |
+ default constructor •() → void |
+ : super core::Object::•() |
+ ; |
+ method m<T extends core::Object>(self::C::m::T x) → self::C::m::T |
+ return x; |
+} |
+class D extends self::C { |
+ default constructor •() → void |
+ : super self::C::•() |
+ ; |
+ method m(dynamic x) → dynamic |
+ return x; |
+} |
+static method main() → dynamic { |
+ core::int y = new self::D::•().m<core::int>(42); |
+ core::print(y); |
+} |