OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 // Test that final fields in @MirrorsUsed are still inferred. | 5 // Test that final fields in @MirrorsUsed are still inferred. |
6 | 6 |
7 import 'package:expect/expect.dart'; | 7 import 'package:expect/expect.dart'; |
8 import "package:async_helper/async_helper.dart"; | 8 import "package:async_helper/async_helper.dart"; |
9 import 'memory_compiler.dart' show runCompiler; | 9 import 'memory_compiler.dart' show runCompiler; |
10 import 'compiler_helper.dart' show findElement; | 10 import 'compiler_helper.dart' show findElement; |
(...skipping 13 matching lines...) Expand all Loading... |
24 }; | 24 }; |
25 | 25 |
26 void main() { | 26 void main() { |
27 asyncTest(() async { | 27 asyncTest(() async { |
28 var result = await runCompiler(memorySourceFiles: MEMORY_SOURCE_FILES); | 28 var result = await runCompiler(memorySourceFiles: MEMORY_SOURCE_FILES); |
29 var compiler = result.compiler; | 29 var compiler = result.compiler; |
30 var element = findElement(compiler, 'field'); | 30 var element = findElement(compiler, 'field'); |
31 var typesInferrer = compiler.globalInference.typesInferrerInternal; | 31 var typesInferrer = compiler.globalInference.typesInferrerInternal; |
32 var closedWorld = typesInferrer.closedWorld; | 32 var closedWorld = typesInferrer.closedWorld; |
33 var commonMasks = closedWorld.commonMasks; | 33 var commonMasks = closedWorld.commonMasks; |
34 Expect.equals( | 34 Expect.equals(commonMasks.uint31Type, |
35 commonMasks.uint31Type, | 35 simplify(typesInferrer.getTypeOfMember(element), closedWorld), 'field'); |
36 simplify(typesInferrer.getTypeOfElement(element), closedWorld), | |
37 'field'); | |
38 }); | 36 }); |
39 } | 37 } |
OLD | NEW |