1 2 3 4 5 6 7 8
class C { type T; type U } trait Test { val x: (C { type U = T } { type T = String }) # U val y: String = x }