OLD | NEW |
(Empty) | |
| 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 |
| 3 // BSD-style license that can be found in the LICENSE file. |
| 4 |
| 5 /*@testedFeatures=checks*/ |
| 6 library test; |
| 7 |
| 8 typedef F<T>(T x); |
| 9 |
| 10 class C<T> { |
| 11 void f(T /*@checkFormal=semiSafe*/ x) {} |
| 12 void g1(T /*@checkFormal=semiSafe*/ x) { |
| 13 this.f(x); |
| 14 } |
| 15 |
| 16 void g2(T /*@checkFormal=semiSafe*/ x) { |
| 17 f(x); |
| 18 } |
| 19 |
| 20 void g3(C<T> /*@checkFormal=semiSafe*/ c, T /*@checkFormal=semiSafe*/ x) { |
| 21 c.f /*@checkCall=interface(semiTyped:0)*/ (x); |
| 22 } |
| 23 |
| 24 F<T> g4() => this.f; |
| 25 } |
| 26 |
| 27 class D extends C<int> {} |
| 28 |
| 29 class E extends C<num> { |
| 30 void f(covariant int /*@checkFormal=unsafe*/ x) {} |
| 31 } |
| 32 |
| 33 test() { |
| 34 var x = new D().g4() as F<Object>; |
| 35 x /*@checkCall=interface(semiTyped:0)*/ ('hi'); |
| 36 new E().g1(1.5); |
| 37 } |
| 38 |
| 39 main() {} |
OLD | NEW |