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

Unified Diff: pkg/front_end/testcases/inference/non_inferrable_getter_setter.dart

Issue 2943273002: Implement type inference of getters/setters based on inheritance. (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/non_inferrable_getter_setter.dart
diff --git a/pkg/front_end/testcases/inference/infer_parameter_type_setter_from_field.dart b/pkg/front_end/testcases/inference/non_inferrable_getter_setter.dart
similarity index 74%
copy from pkg/front_end/testcases/inference/infer_parameter_type_setter_from_field.dart
copy to pkg/front_end/testcases/inference/non_inferrable_getter_setter.dart
index 2374e76f44f36b87a2f587189dcc555194a956ef..919883cddaf295b029e3403e3876769aceda24de 100644
--- a/pkg/front_end/testcases/inference/infer_parameter_type_setter_from_field.dart
+++ b/pkg/front_end/testcases/inference/non_inferrable_getter_setter.dart
@@ -5,12 +5,9 @@
/*@testedFeatures=inference*/
library test;
-class C extends D {
- set foo(x) {}
-}
-
-class D {
- int foo;
+class C {
+ get /*@topType=dynamic*/ x => null;
+ void set x(/*@topType=dynamic*/ value) {}
}
main() {}

Powered by Google App Engine
This is Rietveld 408576698