| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/super_parameters/circular_dependency_inference.dart:17:7: Error: Can't infer the type of 'foo': circularity found during type inference. |
| // Specify the type explicitly. |
| // var foo = B2.new; // Error. |
| // ^^^ |
| // |
| // pkg/front_end/testcases/super_parameters/circular_dependency_inference.dart:26:7: Error: Can't infer the type of 'foo': circularity found during type inference. |
| // Specify the type explicitly. |
| // var foo = C3.new; // Error. |
| // ^^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class A1 extends core::Object { |
| field self::B1 foo; |
| constructor •(self::B1 foo) → self::A1 |
| ; |
| } |
| class B1 extends self::A1 { |
| constructor •(self::B1 foo) → self::B1 |
| ; |
| } |
| class A2 extends core::Object { |
| field invalid-type foo; |
| constructor •(invalid-type foo) → self::A2 |
| ; |
| } |
| class B2 extends self::A2 { |
| constructor •(invalid-type foo) → self::B2 |
| ; |
| } |
| class A3 extends core::Object { |
| field invalid-type foo; |
| constructor •() → self::A3 |
| ; |
| constructor initializeFoo(invalid-type foo) → self::A3 |
| ; |
| } |
| class B3 extends self::A3 { |
| field (invalid-type) → self::A3 bar; |
| constructor •((invalid-type) → self::A3 bar) → self::B3 |
| ; |
| } |
| class C3 extends self::B3 { |
| constructor •((invalid-type) → self::A3 bar) → self::C3 |
| ; |
| } |
| static method f1() → self::B1 |
| ; |
| static method main() → dynamic |
| ; |