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 import 'infer_statics_transitively3_a.dart' show a1, A; | 8 import 'infer_statics_transitively3_a.dart' show a1, A; |
9 import 'infer_statics_transitively3_a.dart' as p show a2, A; | 9 import 'infer_statics_transitively3_a.dart' as p show a2, A; |
10 | 10 |
11 const /*@topType=int*/ t1 = 1; | 11 const /*@topType=int*/ t1 = 1; |
12 const /*@topType=int*/ t2 = t1; | 12 const /*@topType=int*/ t2 = t1; |
13 const /*@topType=dynamic*/ t3 = a1; | 13 const /*@topType=int*/ t3 = a1; |
14 const /*@topType=dynamic*/ t4 = p.a2; | 14 const /*@topType=int*/ t4 = p.a2; |
15 const /*@topType=dynamic*/ t5 = A.a3; | 15 const /*@topType=dynamic*/ t5 = A.a3; |
16 const /*@topType=dynamic*/ t6 = p.A.a3; | 16 const /*@topType=dynamic*/ t6 = p.A.a3; |
17 | 17 |
18 foo() { | 18 foo() { |
19 int i; | 19 int i; |
20 i = t1; | 20 i = t1; |
21 i = t2; | 21 i = t2; |
22 i = t3; | 22 i = t3; |
23 i = t4; | 23 i = t4; |
24 } | 24 } |
| 25 |
| 26 main() {} |
OLD | NEW |