| OLD | NEW |
| 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 // | 4 // |
| 5 // Test verifying that generic extends are processed correctly. | 5 // Test verifying that generic extends are processed correctly. |
| 6 | 6 |
| 7 import "package:expect/expect.dart"; | 7 import "package:expect/expect.dart"; |
| 8 | 8 |
| 9 class A<T> {} | 9 class A<T> {} |
| 10 |
| 10 class B<T1, T2 extends A<T1>> {} | 11 class B<T1, T2 extends A<T1>> {} |
| 12 |
| 11 class C<T1 extends A<T2>, T2> {} | 13 class C<T1 extends A<T2>, T2> {} |
| 12 | 14 |
| 13 main() { | 15 main() { |
| 14 var a = new A<String>(); | 16 var a = new A<String>(); |
| 15 var b = new B<String, A<String>>(); | 17 var b = new B<String, A<String>>(); |
| 16 var c = new C<A<String>, String>(); | 18 var c = new C<A<String>, String>(); |
| 17 Expect.isTrue(a is Object); | 19 Expect.isTrue(a is Object); |
| 18 Expect.isTrue(a is A<Object>); | 20 Expect.isTrue(a is A<Object>); |
| 19 Expect.isTrue(a is A<String>); | 21 Expect.isTrue(a is A<String>); |
| 20 Expect.isTrue(a is !A<int>); | 22 Expect.isTrue(a is! A<int>); |
| 21 Expect.isTrue(b is Object); | 23 Expect.isTrue(b is Object); |
| 22 Expect.isTrue(b is B<Object, A<Object>>); | 24 Expect.isTrue(b is B<Object, A<Object>>); |
| 23 Expect.isTrue(b is B<String, A<String>>); | 25 Expect.isTrue(b is B<String, A<String>>); |
| 24 Expect.isTrue(b is !B<int, A<int>>); | 26 Expect.isTrue(b is! B<int, A<int>>); |
| 25 Expect.isTrue(c is Object); | 27 Expect.isTrue(c is Object); |
| 26 Expect.isTrue(c is C<A<Object>, Object>); | 28 Expect.isTrue(c is C<A<Object>, Object>); |
| 27 Expect.isTrue(c is C<A<String>, String>); | 29 Expect.isTrue(c is C<A<String>, String>); |
| 28 Expect.isTrue(c is !C<A<int>, int>); | 30 Expect.isTrue(c is! C<A<int>, int>); |
| 29 } | 31 } |
| OLD | NEW |