tests/pos/i39.scala


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 = ???

}