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

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

Issue 2959823002: Add type inference for super property gets. (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
Index: pkg/front_end/testcases/inference/super_property_get_invoke_function_typed.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/super_property_get_invoke_function_typed.dart.strong.expect b/pkg/front_end/testcases/inference/super_property_get_invoke_function_typed.dart.strong.expect
new file mode 100644
index 0000000000000000000000000000000000000000..50857655f7be4295534a44e13d3df280cac57dc0
--- /dev/null
+++ b/pkg/front_end/testcases/inference/super_property_get_invoke_function_typed.dart.strong.expect
@@ -0,0 +1,19 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+class C extends core::Object {
+ field () → core::int f = () → core::int => 0;
+ constructor •() → void
+ : super core::Object::•()
+ ;
+}
+class D extends self::C {
+ constructor •() → void
+ : super self::C::•()
+ ;
+ method g() → void {
+ core::int y = super.{self::C::f}.call();
+ }
+}
+static method main() → dynamic {}

Powered by Google App Engine
This is Rietveld 408576698