Does not compile:

class A { self: ScalaObject =&gt
  class B {}
  def f: B = new B         
}


Does compile (no self type):

class A { self =&gt
  class B {}
  def f: B = new B         
}