| library; | 
 | import self as self; | 
 | import "dart:core" as core; | 
 |  | 
 | import "org-dartlang-testcase:///infer_statics_transitively.dart"; | 
 | import "org-dartlang-testcase:///infer_statics_transitively_b.dart"; | 
 |  | 
 | class A extends core::Object { | 
 |   static final field core::int a2; | 
 |   synthetic constructor •() → self::A | 
 |     ; | 
 | } | 
 | static final field core::int a1; | 
 | static method main() → dynamic | 
 |   ; | 
 |  | 
 | library test; | 
 | import self as self2; | 
 | import "dart:core" as core; | 
 |  | 
 | import "org-dartlang-testcase:///infer_statics_transitively_a.dart"; | 
 |  | 
 | static final field core::int m1; | 
 | static final field core::int m2; | 
 | static method foo() → dynamic | 
 |   ; | 
 | static method main() → dynamic | 
 |   ; | 
 |  | 
 | library; | 
 | import self as self3; | 
 | import "dart:core" as core; | 
 |  | 
 | static final field core::int b1; | 
 | static method main() → dynamic | 
 |   ; |