OLD | NEW |
| (Empty) |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | |
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. | |
4 // | |
5 // Dart test for function type alias with a type parameter as result type. | |
6 | |
7 typedef bool F<bool>(bool a); // 'bool' is not the boolean type. | |
8 | |
9 bool bar(bool a) { | |
10 } | |
11 | |
12 int baz(int a) { | |
13 } | |
14 | |
15 class A<T> { | |
16 T foo(T a) { | |
17 } | |
18 } | |
19 | |
20 main() { | |
21 Expect.isTrue(bar is F); | |
22 Expect.isTrue(baz is F); | |
23 Expect.isTrue(bar is F<bool>); | |
24 Expect.isTrue(baz is F<int>); | |
25 Expect.isTrue(bar is !F<int>); | |
26 Expect.isTrue(baz is !F<bool>); | |
27 | |
28 var b = new A<bool>(); | |
29 var i = new A<int>(); | |
30 Expect.isTrue(b.foo is F); | |
31 Expect.isTrue(i.foo is F); | |
32 Expect.isTrue(b.foo is F<bool>); | |
33 Expect.isTrue(i.foo is F<int>); | |
34 Expect.isTrue(b.foo is !F<int>); | |
35 Expect.isTrue(i.foo is !F<bool>); | |
36 } | |
OLD | NEW |