File: t8054.scala

package info (click to toggle)
scala 2.11.12-6
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 62,924 kB
  • sloc: javascript: 28,808; java: 13,415; xml: 3,135; sh: 1,620; python: 756; makefile: 38; awk: 36; ansic: 6
file content (31 lines) | stat: -rw-r--r-- 481 bytes parent folder | download | duplicates (4)
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
  }
}