test/files/pos/t2795.scala


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

package bug1

trait Element[T] {
}

trait Config {
  type T <: Element[T]
  // XXX Following works fine:
  // type T <: Element[_]
}

trait Transform { self: Config =>
  def processBlock(block: Array[T]): Unit = {
    var X = new Array[T](1)
  }
}