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