library;
//
// Problems in library:
//
// pkg/front_end/testcases/general/circularity-via-initializing-formal.dart:15:3: Error: Can't infer the type of 'C._circular': circularity found during type inference.
// Specify the type explicitly.
//   C._circular(this.f);
//   ^^^^^^^^^^^
//
// pkg/front_end/testcases/general/circularity-via-initializing-formal.dart:11:25: Error: The value 'null' can't be assigned to the parameter type 'C' because 'C' is not nullable.
//  - 'C' is from 'pkg/front_end/testcases/general/circularity-via-initializing-formal.dart'.
// var x = new C._circular(null);
//                         ^
//
import self as self;
import "dart:core" as core;

class C extends core::Object {
  field self::C f;
  constructor _circular(self::C f) → self::C
    ;
}
static field self::C x;
static method main() → dynamic
  ;