aboutsummaryrefslogblamecommitdiff
path: root/tests/pending/run/t3798.scala
blob: 698d5a88e3e3d3f77bb5b0bffd92b67736d0fe60 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
             
                                         







                                                                       
object Test {
  def main(args: Array[String]): Unit = {
    val seq: MySeq[Undefined] = new MySeq[Floats](new Array[Float](10))
    println(10 == seq.array.length)
  }
}

sealed trait Undefined { type ArrayType <: Array[_] }
sealed trait Floats extends Undefined { type ArrayType = Array[Float] }
class MySeq[+T <: Undefined](val array: T#ArrayType)