blob: 052e84438cfbe15d14fca8e0bed7ba5960584fb2 (
plain) (
tree)
|
|
object Test {
trait S { type T; val x: AnyRef }
trait A extends S { type T <: A; val x: A = null }
trait B extends S { type T <: B; val x: B = null }
val a = new A{}
val b = new B{}
val y = if (true) a else b
// lub of y should allow for this
println(y.x.x)
}
|