blob: 250947df9905453ce952975971a70ee6075c6a36 (
plain) (
tree)
|
|
object i39neg {
trait B {
type D <: { type T }
def d: D
}
val bc: B = new B {
def d: D = ???
private def pd: D = ???
}
val d: bc.D = bc.d
val pd: bc.D = bc.pd
// infinite loop in Typer
val asT: d.T = ???
}
|