Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(102)

Unified Diff: pkg/front_end/testcases/inference/call_corner_cases.dart.strong.expect

Issue 2928613003: Fix corner cases of type inference with implicit references to `.call`. (Closed)
Patch Set: Created 3 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « pkg/front_end/testcases/inference/call_corner_cases.dart.outline.expect ('k') | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: pkg/front_end/testcases/inference/call_corner_cases.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/call_corner_cases.dart.strong.expect b/pkg/front_end/testcases/inference/call_corner_cases.dart.strong.expect
new file mode 100644
index 0000000000000000000000000000000000000000..94d7ad420daa58404ca9822c36747bc2d344c812
--- /dev/null
+++ b/pkg/front_end/testcases/inference/call_corner_cases.dart.strong.expect
@@ -0,0 +1,37 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+class A extends core::Object {
+ constructor •() → void
+ : super core::Object::•()
+ ;
+ method call() → core::int
+ return 0;
+}
+class B extends core::Object {
+ constructor •() → void
+ : super core::Object::•()
+ ;
+ get call() → self::A
+ return new self::A::•();
+}
+class D extends core::Object {
+ field self::A fieldA = new self::A::•();
+ field self::B fieldB = new self::B::•();
+ constructor •() → void
+ : super core::Object::•()
+ ;
+ get getA() → self::A
+ return new self::A::•();
+ get getB() → self::B
+ return new self::B::•();
+}
+static method main() → dynamic {
+ core::int callA = new self::A::•().{self::A::call}();
+ dynamic callB = new self::B::•().{self::B::call}();
+ core::int callFieldA = new self::D::•().fieldA();
+ core::int callGetA = new self::D::•().{self::D::getA}();
+ dynamic callFieldB = new self::D::•().fieldB();
+ dynamic callGetB = new self::D::•().{self::D::getB}();
+}
« no previous file with comments | « pkg/front_end/testcases/inference/call_corner_cases.dart.outline.expect ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698