File: t2162.scala

package info (click to toggle)
scala 2.11.12-4
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster
  • size: 62,776 kB
  • sloc: java: 13,415; xml: 3,252; sh: 1,620; python: 756; makefile: 38; awk: 36; ansic: 6
file content (19 lines) | stat: -rw-r--r-- 377 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
class Foo(x: Int)
class Bar extends Foo(1)

trait A {
  def foo[T <: Foo]
}
class B extends A {
  def foo[Bar] { println("B.foo[Bar]") }
}
object Test {
  val x = new B
  val y = new A {
    def foo[Bar] { println("A.foo[Bar]") }
  }
  def main(args: Array[String]) {
    x.foo // ok
    y.foo // java.lang.AssertionError: assertion failed (Erasure.scala:441 in r18338))
  }
}