| 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 |