summaryrefslogtreecommitdiff
path: root/test/files/pos/t5317.scala
blob: 8c9c9d8222ba01e8c119d01c73e6705c0038190d (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
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)
}