test/files/pos/t4786.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

trait Matrix[@specialized A, Repr[C] <: Matrix[C, Repr]] { // crash goes away if @specialize is removed
  def duplicate(mb: MatrixBuilder[A, Repr]): Repr[A] = {
    mb.zeros
  }
}
trait DenseMatrix[@specialized A] extends Matrix[A, DenseMatrix]
trait DenseMatrixFlt extends DenseMatrix[Float]

trait MatrixBuilder[@specialized A, Repr[C] <: Matrix[C, Repr]] {
  def zeros: Repr[A]
}
object DenseFloatBuilder extends MatrixBuilder[Float, DenseMatrix] {
  val zeros = new Object with DenseMatrixFlt
  // Note:
  // - in 2.9 crash goes away if the explicit type "DenseMatrixFlt" is assigned to "zeros"
  // - in 2.9 crash goes away if DenseMatrixFlt is a class instead of a trait:
  //        val zeros = new DenseMatrixFlt
}

object Test extends App {
  val m1 = DenseFloatBuilder.zeros // in 2.9 crash goes away if explicit type "DenseMatrixFlt" is assigned to m1
  val m2 = m1.duplicate(DenseFloatBuilder)
}