| library; | 
 | import self as self; | 
 | import "dart:core" as core; | 
 | import "infer_consts_transitively_2.dart" as test; | 
 | import "infer_consts_transitively_2_b.dart" as inf; | 
 |  | 
 | import "org-dartlang-testcase:///infer_consts_transitively_2.dart"; | 
 | import "org-dartlang-testcase:///infer_consts_transitively_2_b.dart"; | 
 |  | 
 | static const field core::int a1 = test::m2; | 
 | static const field core::int a2 = inf::b1; | 
 | static method main() → dynamic | 
 |   ; | 
 |  | 
 | library test; | 
 | import self as test; | 
 | import "dart:core" as core; | 
 | import "infer_consts_transitively_2_a.dart" as self; | 
 |  | 
 | import "org-dartlang-testcase:///infer_consts_transitively_2_a.dart"; | 
 |  | 
 | static const field core::int m1 = self::a1; | 
 | static const field core::int m2 = self::a2; | 
 | static method foo() → dynamic | 
 |   ; | 
 | static method main() → dynamic | 
 |   ; | 
 |  | 
 | library; | 
 | import self as inf; | 
 | import "dart:core" as core; | 
 |  | 
 | static const field core::int b1 = 2; | 
 | static method main() → dynamic | 
 |   ; | 
 |  | 
 |  | 
 | Extra constant evaluation status: | 
 | Evaluated: StaticGet @ org-dartlang-testcase:///infer_consts_transitively_2_a.dart:10:12 -> IntConstant(2) | 
 | Evaluated: StaticGet @ org-dartlang-testcase:///infer_consts_transitively_2_a.dart:11:12 -> IntConstant(2) | 
 | Evaluated: StaticGet @ org-dartlang-testcase:///infer_consts_transitively_2.dart:10:12 -> IntConstant(2) | 
 | Evaluated: StaticGet @ org-dartlang-testcase:///infer_consts_transitively_2.dart:11:12 -> IntConstant(2) | 
 | Extra constant evaluation: evaluated: 4, effectively constant: 4 |