unsound.scala

package p {
  trait N { type Name ; def make(): Name }
  trait N1 extends N { class Name ; def make(): Name = new Name }
  trait N2 extends N { class Name }

  object g extends App with N1 with N2 {
    val x = (this: N2).make()
    // java.lang.ClassCastException: p.N1$Name cannot be cast to p.N2$Name
  }
}

Ugh. Can't recall what link brought me here, but this definitely seems like a bug. Is there already an open issue?