lubs, inference, and access

infer.scala

object Test {
  trait T
  private trait U
  object O extends U
  object P extends U
  val x = {
    // you want to infer List[T] here so we don't later infer a leaky private type for `x`?
    val y = List(O, P)
    y
  }
}