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=inference*/ | 5 /*@testedFeatures=inference*/ |
6 library test; | 6 library test; |
7 | 7 |
8 class A { | 8 class A { |
9 int a; | 9 int a; |
10 List<int> b; | 10 List<int> b; |
11 void m() {} | 11 void m() {} |
12 } | 12 } |
13 | 13 |
14 var /*@topType=A*/ v = new A() | 14 var /*@topType=A*/ v = new A() |
15 .. /*@target=A::a*/ a = 1 | 15 .. /*@target=A::a*/ a = 1 |
16 .. /*@target=A::b*/ b. /*@target=List::add*/ add(2) | 16 .. /*@target=A::b*/ b. /*@target=List::add*/ add(2) |
17 .. /*@target=A::m*/ m(); | 17 .. /*@target=A::m*/ m(); |
| 18 |
| 19 main() {} |
OLD | NEW |