| 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_transitively_a.dart'; |   8 import 'infer_statics_transitively_a.dart'; | 
|   9  |   9  | 
|  10 final /*@topType=dynamic*/ m1 = a1; |  10 final /*@topType=int*/ m1 = a1; | 
|  11 final /*@topType=dynamic*/ m2 = A.a2; |  11 final /*@topType=int*/ m2 = A.a2; | 
|  12  |  12  | 
|  13 foo() { |  13 foo() { | 
|  14   int i; |  14   int i; | 
|  15   i = m1; |  15   i = m1; | 
|  16 } |  16 } | 
 |  17  | 
 |  18 main() {} | 
| OLD | NEW |