diff options
| author | Paul Phillips <paulp@improving.org> | 2012-05-07 23:14:59 -0700 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-05-07 23:14:59 -0700 |
| commit | e982596149800f14a8a122f1f1a3540b95af7411 (patch) | |
| tree | 87628004a3be97565e73458ba36bf08be96c2790 | |
| parent | 843ac9520c2876a16961f4c4c96035c4713e6ce4 (diff) | |
| download | scala-e982596149800f14a8a122f1f1a3540b95af7411.tar.gz scala-e982596149800f14a8a122f1f1a3540b95af7411.tar.bz2 scala-e982596149800f14a8a122f1f1a3540b95af7411.zip | |
Test case closes SI-3798.
| -rw-r--r-- | test/files/run/t3798.check | 1 | ||||
| -rw-r--r-- | test/files/run/t3798.scala | 10 |
2 files changed, 11 insertions, 0 deletions
diff --git a/test/files/run/t3798.check b/test/files/run/t3798.check new file mode 100644 index 0000000000..27ba77ddaf --- /dev/null +++ b/test/files/run/t3798.check @@ -0,0 +1 @@ +true diff --git a/test/files/run/t3798.scala b/test/files/run/t3798.scala new file mode 100644 index 0000000000..3ede57bee7 --- /dev/null +++ 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) |