blob: 5cbaee35d818e1d000f8883fb2b7996e744a7e79 (
plain) (
blame)
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 = ???
}
|