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