gistfile1.txt

17:19 ~/Projects/Master/sandbox (master)$ st
[[syntax trees at end of                     typer]] // Test.scala
package <empty> {
  abstract trait B extends scala.AnyRef;
  class C1 extends scala.AnyRef {
    def <init>(): C1 = {
      C1.super.<init>();
      ()
    };
    scala.this.Predef.println(this)
  };
  class C2 extends scala.AnyRef { x$1: C2 with B =>
    def <init>(): C2 = {
      C2.super.<init>();
      ()
    };
    scala.this.Predef.println(this)
  };
  class C3 extends scala.AnyRef { `this`: C3 with B =>
    def <init>(): C3 = {
      C3.super.<init>();
      ()
    };
    scala.this.Predef.println(this)
  }
}

17:20 ~/Projects/Master/sandbox (master)$

17:20 ~/Projects/Master/sandbox (master)$ st
[[syntax trees at end of typer]] // Test.scala
package {
abstract trait B extends scala.AnyRef;
class C1 extends scala.AnyRef {
def (): C1 = {
C1.super.();
()
};
private[this] val x1: C1 = this;
def x1: C1 = C1.this.x1
};
class C2 extends scala.AnyRef { x$1: C2 with B =>
def (): C2 = {
C2.super.();
()
};
private[this] val x2: C2 with B = this;
def x2: C2 with B = C2.this.x2
};
class C3 extends scala.AnyRef { this: C3 with B =>
def (): C3 = {
C3.super.();
()
};
private[this] val x3: C3 with B = this;
def x3: C3 with B = C3.this.x3
}
}

17:20 ~/Projects/Master/sandbox (master)$