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 class OneArg<A> { | 5 class OneArg<A> { |
8 OneArg<A> get foo => new OneArg<A>(); | 6 OneArg<A> get foo => new OneArg<A>(); |
9 OneArg<A> get bar { | 7 OneArg<A> get bar { |
10 return new OneArg<A>(); | 8 return new OneArg<A>(); |
11 } | 9 } |
12 } | 10 } |
13 | 11 |
14 class TwoArgs<A,B> { | 12 class TwoArgs<A,B> { |
15 TwoArgs<A,B> get foo => new TwoArgs<A,B>(); | 13 TwoArgs<A,B> get foo => new TwoArgs<A,B>(); |
16 TwoArgs<A,B> get bar { | 14 TwoArgs<A,B> get bar { |
17 return new TwoArgs<A,B>(); | 15 return new TwoArgs<A,B>(); |
18 } | 16 } |
19 | 17 |
20 } | 18 } |
21 | 19 |
22 void main() { | 20 void main() { |
23 Expect.isTrue(new OneArg<String>().foo is OneArg); | 21 Expect.isTrue(new OneArg<String>().foo is OneArg); |
24 Expect.isTrue(new OneArg<String>().bar is OneArg); | 22 Expect.isTrue(new OneArg<String>().bar is OneArg); |
25 Expect.isTrue(new TwoArgs<String, int>().foo is TwoArgs); | 23 Expect.isTrue(new TwoArgs<String, int>().foo is TwoArgs); |
26 Expect.isTrue(new TwoArgs<String, int>().bar is TwoArgs); | 24 Expect.isTrue(new TwoArgs<String, int>().bar is TwoArgs); |
27 | 25 |
28 // TODO(karlklose): Please remove the return when dart2js can handle | 26 // TODO(karlklose): Please remove the return when dart2js can handle |
29 // the type tests after it. | 27 // the type tests after it. |
30 return; | 28 return; |
31 Expect.isTrue(new OneArg<String>().foo is OneArg<String>); | 29 Expect.isTrue(new OneArg<String>().foo is OneArg<String>); |
32 Expect.isTrue(new OneArg<String>().bar is OneArg<String>); | 30 Expect.isTrue(new OneArg<String>().bar is OneArg<String>); |
33 Expect.isTrue(new TwoArgs<String, int>().foo is TwoArgs<String, int>); | 31 Expect.isTrue(new TwoArgs<String, int>().foo is TwoArgs<String, int>); |
34 Expect.isTrue(new TwoArgs<String, int>().bar is TwoArgs<String, int>); | 32 Expect.isTrue(new TwoArgs<String, int>().bar is TwoArgs<String, int>); |
35 } | 33 } |
OLD | NEW |