OLD | NEW |
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, 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 T<X> { | 7 class T<X> { |
8 final Type tType = X; | 8 final Type tType = X; |
9 Type get getTType => X; | 9 Type get getTType => X; |
10 } | 10 } |
11 | 11 |
12 class S<Y> { | 12 class S<Y> { |
13 final Type sType = Y; | 13 final Type sType = Y; |
14 Type get getSType => Y; | 14 Type get getSType => Y; |
15 } | 15 } |
16 | 16 |
17 class TS<A, B> = T<A> with S<B>; | 17 class TS<A, B> = T<A> with S<B>; |
18 | 18 |
19 @NoInline() @AssumeDynamic() | 19 @NoInline() |
| 20 @AssumeDynamic() |
20 dyn(x) => x; | 21 dyn(x) => x; |
21 | 22 |
22 main() { | 23 main() { |
23 var ts = new TS<int, String>(); | 24 var ts = new TS<int, String>(); |
24 | 25 |
25 Expect.equals("String", ts.sType.toString()); | 26 Expect.equals("String", ts.sType.toString()); |
26 Expect.equals("int", ts.tType.toString()); | 27 Expect.equals("int", ts.tType.toString()); |
27 Expect.equals("String", ts.getSType.toString()); | 28 Expect.equals("String", ts.getSType.toString()); |
28 Expect.equals("int", ts.getTType.toString()); | 29 Expect.equals("int", ts.getTType.toString()); |
29 | 30 |
30 Expect.equals("String", dyn(ts).sType.toString()); | 31 Expect.equals("String", dyn(ts).sType.toString()); |
31 Expect.equals("int", dyn(ts).tType.toString()); | 32 Expect.equals("int", dyn(ts).tType.toString()); |
32 Expect.equals("String", dyn(ts).getSType.toString()); | 33 Expect.equals("String", dyn(ts).getSType.toString()); |
33 Expect.equals("int", dyn(ts).getTType.toString()); | 34 Expect.equals("int", dyn(ts).getTType.toString()); |
34 } | 35 } |
OLD | NEW |