OLD | NEW |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 that generic types in mixins are handled. | 5 // Test that generic types in mixins are handled. |
6 | 6 |
7 import 'package:expect/expect.dart'; | 7 import 'package:expect/expect.dart'; |
8 | 8 |
9 class M<T> { | 9 class M<T> { |
10 var field = () { | 10 var field = () { |
11 try { | 11 try { |
12 throw 0; | 12 throw 0; |
13 } on T catch (e) { | 13 } on T catch (e) { |
14 return true; | 14 return true; |
15 } catch (e) { | 15 } catch (e) {} |
16 } | |
17 return false; | 16 return false; |
18 }(); | 17 }(); |
19 } | 18 } |
| 19 |
20 class A<U> {} | 20 class A<U> {} |
| 21 |
21 class C1<V> = Object with M<V>; | 22 class C1<V> = Object with M<V>; |
22 class C2 = Object with M<int>; | 23 class C2 = Object with M<int>; |
23 class C3 = Object with M<String>; | 24 class C3 = Object with M<String>; |
24 | 25 |
25 main() { | 26 main() { |
26 Expect.isTrue(new C1<int>().field); | 27 Expect.isTrue(new C1<int>().field); |
27 Expect.isFalse(new C1<String>().field); | 28 Expect.isFalse(new C1<String>().field); |
28 | 29 |
29 Expect.isTrue(new C2().field); | 30 Expect.isTrue(new C2().field); |
30 | 31 |
31 Expect.isFalse(new C3().field); | 32 Expect.isFalse(new C3().field); |
32 } | 33 } |
OLD | NEW |