9ef5f6817 ^
1 2 3 4 5 6 7 8 9 10 11
class A { type T type Tv = AnyRef with T } object Test { type B = a.type forSome { val a : A val tv : a.Tv } }