Index: pkg/front_end/testcases/inference/generic_methods_infer_generic_method_type.dart.direct.expect |
diff --git a/pkg/front_end/testcases/inference/generic_methods_infer_generic_method_type.dart.direct.expect b/pkg/front_end/testcases/inference/generic_methods_infer_generic_method_type.dart.direct.expect |
new file mode 100644 |
index 0000000000000000000000000000000000000000..ba6676f422c6de3af7a0fee5a2974ac89571dd5e |
--- /dev/null |
+++ b/pkg/front_end/testcases/inference/generic_methods_infer_generic_method_type.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<S extends core::Object>(dynamic x) → dynamic |
+ return x; |
+} |
+static method main() → dynamic { |
+ core::int y = new self::D::•().m<core::int>(42); |
+ core::print(y); |
+} |