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 // Test of parameterized types with invalid bounds. | 5 // Test of parameterized types with invalid bounds. |
6 | 6 |
7 interface J<T> { } | 7 interface J<T> { } |
8 | 8 |
9 interface K<T> { } | 9 interface K<T> { } |
10 | 10 |
(...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
52 // 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. |
53 Expect.isTrue(a is I); | 53 Expect.isTrue(a is I); |
54 | 54 |
55 // 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. |
56 Expect.isTrue(a is J); | 56 Expect.isTrue(a is J); |
57 | 57 |
58 // 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. |
59 Expect.isTrue(a is !K); | 59 Expect.isTrue(a is !K); |
60 } | 60 } |
61 } | 61 } |
OLD | NEW |