| 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);
|
| +}
|
|
|