blob: e3b15933ec8aa09eebe40786888b78813178b1e0 (
plain) (
tree)
|
|
object infpaths {
object a {
trait T { t =>
type M <: t.b.M // error
type T <: a.T
val b: t.T
}
val x: a.T = ???
}
val m1: a.x.M = ???
val m2: a.x.b.M = m1 // error
val m3: a.x.b.b.M = m2 // error
}
|