diff options
Diffstat (limited to 'tests/pos-scala2/t3833.scala')
-rw-r--r-- | tests/pos-scala2/t3833.scala | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/pos-scala2/t3833.scala b/tests/pos-scala2/t3833.scala new file mode 100644 index 000000000..2df658df1 --- /dev/null +++ b/tests/pos-scala2/t3833.scala @@ -0,0 +1,26 @@ +object Main { + def mkArray[T <: A](atype: Int) :T#AType = { + (atype match { + case 1 => + new Array[Int](10) + // Decompiled code: return (Object[])new int[10]; + case 2 => + new Array[Float](10) + }).asInstanceOf[T#AType] + } + + def main(args: Array[String]): Unit = { + println(mkArray[I](1)) + //java.lang.ClassCastException: [I cannot be cast to [Ljava.lang.Object; + } +} + +trait A { + type AType <: AnyRef +} +trait I extends A { + type AType = Array[Int] +} +trait F extends A { + type AType = Array[Float] +} |