gistfile1.txt

17:20 ~/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>();
      ()
    };
    private[this] val x1: C1 = this;
    <stable> <accessor> def x1: C1 = C1.this.x1
  };
  class C2 extends scala.AnyRef { x$1: C2 with B =>
    def <init>(): C2 = {
      C2.super.<init>();
      ()
    };
    private[this] val x2: C2 with B = this;
    <stable> <accessor> def x2: C2 with B = C2.this.x2
  };
  class C3 extends scala.AnyRef { `this`: C3 with B =>
    def <init>(): C3 = {
      C3.super.<init>();
      ()
    };
    private[this] val x3: C3 with B = this;
    <stable> <accessor> def x3: C3 with B = C3.this.x3
  }
}

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