tests/pos/lookuprefined.scala


1
2
3
4
5
6
7
8
9
10

class C { type T; type U }

trait Test {

  val x1: (C { type U = T; type T = String }) # U
  val x2: (C { type U = T } {type T = String }) # U

  val y1: String = x1
  val y2: String = x2
}