Add test for tailcall

Test for order of type parameters in recursive call
gkossakowski · Jul 22, 2014 · 601b11e · 601b11e
1 parent b4e7de0
commit 601b11e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tests/pos/tailcall/tailcall.scala b/tests/pos/tailcall/tailcall.scala
@@ -3,3 +3,7 @@ class tailcall {
   final def fact(x: Int, acc: Int = 1): Int = if (x == 0) acc else fact(x - shift, acc * x)
   def id[T <: AnyRef](x: T): T = if (x eq null) x else id(x)
 }
+
+class TypedApply[T2]{
+  private def firstDiff[T <: TypedApply[T2]](xs: List[T]): Int = firstDiff(xs)
+}