OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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"; | 5 import "package:expect/expect.dart"; |
6 | 6 |
7 class M<T> { | 7 class M<T> { |
8 t() { return T; } | 8 t() { |
| 9 return T; |
| 10 } |
9 } | 11 } |
10 | 12 |
11 class A<U> = Object with M<U>; | 13 class A<U> = Object with M<U>; |
12 | 14 |
13 class B<V> = Object with A<V>; | 15 class B<V> = Object with A<V>; |
14 | 16 |
15 class C<U> = Object with M<List<U>>; | 17 class C<U> = Object with M<List<U>>; |
16 | 18 |
17 class D<V> = Object with C<Set<V>>; | 19 class D<V> = Object with C<Set<V>>; |
18 | 20 |
19 class E extends A<num> { } | 21 class E extends A<num> {} |
20 | 22 |
21 class F extends B<String> { } | 23 class F extends B<String> {} |
22 | 24 |
23 class G<T> extends C<T> { } | 25 class G<T> extends C<T> {} |
24 | 26 |
25 class H<T> extends D<Map<String, T>> { } | 27 class H<T> extends D<Map<String, T>> {} |
26 | 28 |
27 main() { | 29 main() { |
28 Expect.equals("num", new E().t().toString()); | 30 Expect.equals("num", new E().t().toString()); |
29 Expect.equals("String", new F().t().toString()); | 31 Expect.equals("String", new F().t().toString()); |
30 Expect.equals("List<bool>", new G<bool>().t().toString()); | 32 Expect.equals("List<bool>", new G<bool>().t().toString()); |
31 Expect.equals("List<Set<Map<String, int>>>", new H<int>().t().toString()); | 33 Expect.equals("List<Set<Map<String, int>>>", new H<int>().t().toString()); |
32 } | 34 } |
OLD | NEW |