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

Side by Side Diff: pkg/kernel/testcases/input/prefer_baseclass.dart

Issue 2825063002: Move kernel baseline tests to front_end. (Closed)
Patch Set: Created 3 years, 8 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 unified diff | Download patch
OLDNEW
(Empty)
1 class A {}
2
3 class B {}
4
5 class AB1 extends A implements B {}
6
7 class AB2 extends A implements B {}
8
9 class BA1 extends B implements A {}
10
11 class BA2 extends B implements A {}
12
13 takeSubclassOfA(obj) {
14 // The analysis should at least infer that 'obj' is a subclass of A,
15 // When the upper bound is ambiguous, it should use the common superclass, if
16 // there is one besides Object.
17 }
18
19 takeSubclassOfB(obj) {
20 // Likewise, the analysis should infer that 'obj' is a subclass of B.
21 }
22
23 main() {
24 takeSubclassOfA(new AB1());
25 takeSubclassOfA(new AB2());
26
27 takeSubclassOfB(new BA1());
28 takeSubclassOfB(new BA2());
29 }
OLDNEW
« no previous file with comments | « pkg/kernel/testcases/input/override.dart ('k') | pkg/kernel/testcases/input/redirecting_factory.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698