diff options
Diffstat (limited to 'tests/pending/pos/t7226.scala')
-rw-r--r-- | tests/pending/pos/t7226.scala | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/tests/pending/pos/t7226.scala b/tests/pending/pos/t7226.scala deleted file mode 100644 index 1b7e2549c..000000000 --- a/tests/pending/pos/t7226.scala +++ /dev/null @@ -1,26 +0,0 @@ -trait HK { - type Rep[X] - - // okay - def unzip2[A, B](ps: Rep[List[(A, B)]]): Unit - unzip2(null.asInstanceOf[Rep[List[(Int, String)]]]) - - // okay - def unzipHK[A, B, C[_]](ps: Rep[C[(A, B)]]): Unit - unzipHK(null.asInstanceOf[Rep[List[(Int, String)]]]) - - def unzipHKRet0[A, C[_]](ps: C[A]): C[Int] - def ls: List[String] - unzipHKRet0(ls) - - // fail - def unzipHKRet[A, C[_]](ps: Rep[C[A]]): Rep[C[Int]] - def rls: Rep[List[String]] - unzipHKRet(rls) -} - -trait HK1 { - type Rep[A] - def unzip1[A, B, C[_]](ps: Rep[C[(A, B)]]): (Rep[C[A]], Rep[C[B]]) - def doUnzip1[A, B](ps: Rep[List[(A, B)]]) = unzip1(ps) -} |