Index: pkg/front_end/testcases/inference/propagate_inference_transitively2.dart.direct.expect |
diff --git a/pkg/front_end/testcases/inference/propagate_inference_transitively2.dart.direct.expect b/pkg/front_end/testcases/inference/propagate_inference_transitively2.dart.direct.expect |
new file mode 100644 |
index 0000000000000000000000000000000000000000..4bf21efb347cf9a47522886372c2bfbe39f40ac3 |
--- /dev/null |
+++ b/pkg/front_end/testcases/inference/propagate_inference_transitively2.dart.direct.expect |
@@ -0,0 +1,34 @@ |
+library test; |
+import self as self; |
+import "dart:core" as core; |
+ |
+class A extends core::Object { |
+ field core::int x = 42; |
+ default constructor •() → void |
+ : super core::Object::•() |
+ ; |
+} |
+class B extends core::Object { |
+ field self::A a = new self::A::•(); |
+ default constructor •() → void |
+ : super core::Object::•() |
+ ; |
+} |
+class C extends core::Object { |
+ field self::B b = new self::B::•(); |
+ default constructor •() → void |
+ : super core::Object::•() |
+ ; |
+} |
+class D extends core::Object { |
+ field self::C c = new self::C::•(); |
+ default constructor •() → void |
+ : super core::Object::•() |
+ ; |
+} |
+static method main() → void { |
+ dynamic d1 = new self::D::•(); |
+ core::print(d1.c.b.a.x); |
+ self::D d2 = new self::D::•(); |
+ core::print(d2.c.b.a.x); |
+} |