blob: 917ea49a2a6a790c60be97c098af0359cd47a7a5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
object infpaths {
object a {
trait T { t =>
type M <: t.b.M
type T <: a.T
val b: t.T
}
val x: a.T = ???
}
val m1: a.x.M = ???
val m2: a.x.b.M = m1
val m3: a.x.b.b.M = m2
}
|