| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 import "package:expect/expect.dart"; | |
| 6 | |
| 7 // Test of parameterized types with invalid bounds. | 5 // Test of parameterized types with invalid bounds. |
| 8 | 6 |
| 9 abstract class J<T> { } | 7 abstract class J<T> { } |
| 10 | 8 |
| 11 abstract class K<T> { } | 9 abstract class K<T> { } |
| 12 | 10 |
| 13 abstract class I<T | 11 abstract class I<T |
| 14 extends num /// 00: continued | 12 extends num /// 00: continued |
| 15 extends num /// 01: continued | 13 extends num /// 01: continued |
| 16 extends num /// 02: continued | 14 extends num /// 02: continued |
| (...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 54 // In both production and checked modes, A<int> is a subtype of I. | 52 // In both production and checked modes, A<int> is a subtype of I. |
| 55 Expect.isTrue(a is I); | 53 Expect.isTrue(a is I); |
| 56 | 54 |
| 57 // In both production and checked modes, A<int> is a subtype of J. | 55 // In both production and checked modes, A<int> is a subtype of J. |
| 58 Expect.isTrue(a is J); | 56 Expect.isTrue(a is J); |
| 59 | 57 |
| 60 // In both production and checked modes, A<int> is not a subtype of K. | 58 // In both production and checked modes, A<int> is not a subtype of K. |
| 61 Expect.isTrue(a is !K); | 59 Expect.isTrue(a is !K); |
| 62 } | 60 } |
| 63 } | 61 } |
| OLD | NEW |