OLD | NEW |
1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2017, 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 /*@testedFeatures=checks*/ | 5 /*@testedFeatures=checks*/ |
6 library test; | 6 library test; |
7 | 7 |
8 typedef void F<T>(T x); | 8 typedef void F<T>(T x); |
9 | 9 |
| 10 typedef U G<T, U>(T x); |
| 11 |
10 class C<T> { | 12 class C<T> { |
11 void f(T /*@checkFormal=semiSafe*/ x) {} | 13 void f1(T /*@checkFormal=semiSafe*/ x) {} |
| 14 T f2(List<T> /*@checkFormal=semiSafe*/ x) => x.first; |
12 } | 15 } |
13 | 16 |
14 void g1(C<num> c) { | 17 F<num> g1(C<num> c) { |
15 c.f; | 18 return c.f1; |
16 } | 19 } |
17 | 20 |
18 void g2(C<int> c, Object x) { | 21 void g2(C<int> c, Object x) { |
19 F<Object> f = g1(c) as F<Object>; | 22 F<Object> f = g1(c) as F<Object>; |
20 f /*@checkCall=interface(semiTyped:0)*/ (x); | 23 f /*@checkCall=interface(semiTyped:0)*/ (x); |
21 } | 24 } |
22 | 25 |
| 26 G<List<num>, num> g3(C<num> c) { |
| 27 return c.f2; |
| 28 } |
| 29 |
23 void test() { | 30 void test() { |
24 var x = g1(new C<int>()); | 31 var x = g1(new C<int>()); |
25 x /*@checkCall=interface(semiTyped:0)*/ (1.5); | 32 x /*@checkCall=interface(semiTyped:0)*/ (1.5); |
| 33 g3(new C<int>()); |
26 } | 34 } |
27 | 35 |
28 main() {} | 36 main() {} |
OLD | NEW |