f9f888d36a ^
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 } }