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=inference*/ | |
6 library test; | |
7 | |
8 // The `value` parameter for `B::x=` has a type, so it should not be inferred | |
9 // based on `A::x=`. | |
10 | |
11 typedef int F(); | |
12 | |
13 abstract class A { | |
14 void set x(F value); | |
15 } | |
16 | |
17 abstract class B extends A { | |
18 void set x(value()); | |
19 } | |
20 | |
21 T f<T>() => null; | |
22 | |
23 g(B b) { | |
24 b. /*@target=B::x*/ x = /*@typeArgs=() -> dynamic*/ f(); | |
25 } | |
26 | |
27 main() {} | |
OLD | NEW |