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

Unified Diff: test/codegen/type_no_hoisting.dart

Issue 2033543002: Wire up class hierarchy for recursive inheritance (Closed) Base URL: git@github.com:dart-lang/dev_compiler.git@master
Patch Set: Created 4 years, 7 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 | « test/codegen/type_hoisting.dart ('k') | test/codegen_test.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: test/codegen/type_no_hoisting.dart
diff --git a/test/codegen/type_no_hoisting.dart b/test/codegen/type_no_hoisting.dart
deleted file mode 100644
index 602b9b4254e8d13c941a381e120b3c700e4d4cc0..0000000000000000000000000000000000000000
--- a/test/codegen/type_no_hoisting.dart
+++ /dev/null
@@ -1,60 +0,0 @@
-// compile options: --no-hoist-signature-types --no-hoist-instance-creation --name-type-tests
-import "package:expect/expect.dart";
-
-class A<T> {
- A(this.x, T z);
- A.make();
- void f(T x) {}
- static String g(String x) {return x;}
- T x;
-}
-
-class B extends A<int> {
- B(int x, int z) : super(x, z);
- B.make();
- void f(int x) {}
- static int g(int x) {return x;}
-}
-
-class C {
- C(this.x, int z);
- void f(int x) {}
- static int g(int x) {return x;}
- int x = 0;
-}
-typedef void ToVoid<T>(T x);
-typedef T Id<T>(T x);
-
-void main() {
- {
- A<String> a = new A<String>("hello", "world");
- Expect.isTrue(new A.make<String>() is! A<int>);
- Expect.isTrue(new A.make() is! A<int>);
- Expect.isTrue(a is! A<int>);
- Expect.isTrue(a is A<String>);
- Expect.isTrue(a.f is ToVoid<String>);
- Expect.isTrue(a.f is! ToVoid<int>);
- Expect.isTrue(A.g is Id<String>);
- Expect.isTrue(A.g is! Id<int>);
- }
- {
- B b = new B(0, 1);
- Expect.isTrue(new B.make() is B);
- Expect.isTrue(new B.make() is A<int>);
- Expect.isTrue(b is B);
- Expect.isTrue(b is! B);
- Expect.isTrue(b.f is! ToVoid<String>);
- Expect.isTrue(b.f is ToVoid<int>);
- Expect.isTrue(B.g is! Id<String>);
- Expect.isTrue(B.g is Id<int>);
- }
- {
- C c = new C(0, 1);
- Expect.isTrue(c is C);
- Expect.isTrue(c is! C);
- Expect.isTrue(c.f is! ToVoid<String>);
- Expect.isTrue(c.f is ToVoid<int>);
- Expect.isTrue(C.g is! Id<String>);
- Expect.isTrue(C.g is Id<int>);
- }
-}
« no previous file with comments | « test/codegen/type_hoisting.dart ('k') | test/codegen_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698