summaryrefslogtreecommitdiff
path: root/test/files/neg/tailrec-2.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/neg/tailrec-2.scala')
-rw-r--r--test/files/neg/tailrec-2.scala26
1 files changed, 0 insertions, 26 deletions
diff --git a/test/files/neg/tailrec-2.scala b/test/files/neg/tailrec-2.scala
deleted file mode 100644
index 4388815a06..0000000000
--- a/test/files/neg/tailrec-2.scala
+++ /dev/null
@@ -1,26 +0,0 @@
-sealed abstract class Super[+A] {
- def f[B >: A](mem: List[B]) : List[B]
-}
-// This one should fail, target is a supertype
-class Bop1[+A](val element: A) extends Super[A] {
- @annotation.tailrec final def f[B >: A](mem: List[B]): List[B] = (null: Super[A]).f(mem)
-}
-// These succeed
-class Bop2[+A](val element: A) extends Super[A] {
- @annotation.tailrec final def f[B >: A](mem: List[B]): List[B] = (null: Bop2[A]).f(mem)
-}
-object Bop3 extends Super[Nothing] {
- @annotation.tailrec final def f[B](mem: List[B]): List[B] = (null: Bop3.type).f(mem)
-}
-class Bop4[+A](val element: A) extends Super[A] {
- @annotation.tailrec final def f[B >: A](mem: List[B]): List[B] = Other.f[A].f(mem)
-}
-
-object Other {
- def f[T] : Bop4[T] = error("")
-}
-
-object Bop {
- def m1[A] : Super[A] = error("")
- def m2[A] : Bop2[A] = error("")
-} \ No newline at end of file