blob: 18ddebf88b73aa1fad43d80a09b097f5652f1ee2 (
plain) (
blame)
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 { println("iAmABar") }
setX()
println(x.unsound)
}
def main(args: Array[String]): Unit = new Bar
}
|