1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
object WhatsYourTypeIsMyType { trait WithMyType[+T] { type MyType = T } class Foo extends WithMyType[Foo] { var x: MyType = _ def setX() = x = new Foo } class Bar extends Foo with WithMyType[Bar] { def unsound: Unit = { println("iAmABar") } setX() println(x.unsound) } def main(args: Array[String]): Unit = new Bar }