S4.scala:4: type a.type escapes its defining scope as part of a.Inner { def foo(a.Inner): a.Inner,  val b$: Other,  def b: Other }
class S4(a: Other) extends a.Inner() {
      ^
one error found