test/files/run/spec-ame.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// ticket #3432
object Test {
  trait B[@specialized(Int) T] {
    def value: T
  }

  class A[@specialized(Int) T](x: T) {
    def foo: B[T] = new B[T] {
      def value = x
    }
  }

  def main(args: Array[String]) {
    println((new A("abc")).foo.value)
    println((new A(10)).foo.value)
  }
}