blob: 66a55e8b538013e8872d36b63127d09ad9f0aaf4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
trait D {
trait Manifest {
class Entry
}
val M: Manifest
def m: M.Entry = ???
}
object D1 extends D {
object M extends Manifest
}
object D2 extends D {
val M: Manifest = ???
}
object Hello {
def main(args: Array[String]): Unit = {
// 2.10.3 - ok
// 2.11.0-M7 - type mismatch; found : Seq[DB1.MANIFEST.Entry]
// required: Seq[DB1.MANIFEST.Entry]
val t1: D1.M.Entry = D1.m
// 2.10.3 - ok
// 2.11.0-M7 - ok
val t2: D2.M.Entry = D2.m
}
}
|