tests/pending/run/t4794.scala


1
2
3
4
5
6
7
8
9
10
11
12
13

trait Mutable[@specialized A] { def a: A; def a_=(a0: A): Unit }
trait NotSpecialized { }
class Arr[@specialized A](val arr: Array[A]) {
  def bippy(m: Mutable[A]): Unit = { m.a = arr(0) }
  def quux(m: Mutable[A] with NotSpecialized): Unit = { m.a = arr(0) }
}

object Test {
  def main(args: Array[String]): Unit = {
    def quuxae = classOf[Arr[_]].getMethods filter (_.getName contains "quux")
    println(quuxae.size) // expect 10, not 1
  }
}