test/files/neg/t6566b.scala


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
}