test/files/pos/t8054.scala


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]) {
    // 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
  }
}