blob: 0d488dbe8a6ce9759cb05b66acaae9cdfd947d65 (
plain) (
tree)
|
|
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
}
|