Test case closes SI-3798.

scala · May 8, 2012 · e982596 · e982596
1 parent 843ac95
commit e982596
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/test/files/run/t3798.check b/test/files/run/t3798.check
@@ -0,0 +1 @@
+true
diff --git a/test/files/run/t3798.scala b/test/files/run/t3798.scala
@@ -0,0 +1,10 @@
+object Test {
+  def main(args: Array[String]) {
+    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)