Index: pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_3.dart.direct.expect |
diff --git a/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_3.dart.direct.expect b/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_3.dart.direct.expect |
new file mode 100644 |
index 0000000000000000000000000000000000000000..54799a52418bc39453d4b8c5503486a76e99b482 |
--- /dev/null |
+++ b/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_3.dart.direct.expect |
@@ -0,0 +1,27 @@ |
+library test; |
+import self as self; |
+import "dart:core" as core; |
+ |
+class A<T extends core::Object> extends core::Object { |
+ final field self::A::T x = null; |
+ final field self::A::T w = null; |
+ default constructor •() → void |
+ : super core::Object::•() |
+ ; |
+} |
+class B extends core::Object implements self::A<core::int> { |
+ default constructor •() → void |
+ : super core::Object::•() |
+ ; |
+ get x() → dynamic |
+ return 3; |
+ get w() → dynamic |
+ return "hello"; |
+} |
+static method foo() → dynamic { |
+ core::String y = new self::B::•().x; |
+ core::int z = new self::B::•().x; |
+} |
+static method main() → dynamic { |
+ self::foo(); |
+} |