[[syntax trees at end of typer]]// Scala source: bt4.scala
package <empty> {
  final object test extends System.Object with ScalaObject {
    def this(): object test = {
      test.super.this();
      ()
    };
    import test.this.A._;
    class A extends System.Object with ScalaObject {
      <paramaccessor> private[this] val b: test.A.B = _;
      def this(b: test.A.B = new test.this.A.B()): test.A = {
        A.super.this();
        ()
      }
    };
    final object A extends System.Object with ScalaObject {
      def this(): object test.A = {
        A.super.this();
        ()
      };
      class B extends System.Object with ScalaObject {
        def this(): test.A.B = {
          B.super.this();
          ()
        }
      };
      new test.this.A(test.this.A.<error: method init$$default$$1>);
      <synthetic> def init$$default$$1: test.A.B @scala.annotation.unchecked.uncheckedVariance = new test.this.A.B()
    }
  }
}

one error found