f196e074c ^
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
object i39 { trait B { type D <: { type T } def d: D } val bc: B = new B { def d: D = ??? } val d: bc.D = bc.d // infinite loop in Typer val asT: d.T = ??? }