| library /*isNonNullableByDefault*/; |
| import self as self; |
| import "dart:core" as core; |
| import "infer_statics_transitively_b.dart" as inf; |
| import "infer_statics_transitively.dart" as test; |
| |
| 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 = inf::b1; |
| synthetic constructor •() → self::A |
| : super core::Object::•() |
| ; |
| } |
| static final field core::int a1 = test::m2; |
| static method main() → dynamic {} |
| |
| library test /*isNonNullableByDefault*/; |
| import self as test; |
| import "dart:core" as core; |
| import "infer_statics_transitively_a.dart" as self; |
| |
| import "org-dartlang-testcase:///infer_statics_transitively_a.dart"; |
| |
| static final field core::int m1 = self::a1; |
| static final field core::int m2 = self::A::a2; |
| static method foo() → dynamic { |
| core::int i; |
| i = test::m1; |
| } |
| static method main() → dynamic {} |
| |
| library /*isNonNullableByDefault*/; |
| import self as inf; |
| import "dart:core" as core; |
| |
| static final field core::int b1 = 2; |
| static method main() → dynamic { |
| inf::b1; |
| } |