aboutsummaryrefslogtreecommitdiff
path: root/tests/neg/tailcall/t6574.check
diff options
context:
space:
mode:
Diffstat (limited to 'tests/neg/tailcall/t6574.check')
-rw-r--r--tests/neg/tailcall/t6574.check7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/neg/tailcall/t6574.check b/tests/neg/tailcall/t6574.check
new file mode 100644
index 000000000..c67b4ed80
--- /dev/null
+++ b/tests/neg/tailcall/t6574.check
@@ -0,0 +1,7 @@
+t6574.scala:4: error: could not optimize @tailrec annotated method notTailPos$extension: it contains a recursive call not in tail position
+ println("tail")
+ ^
+t6574.scala:8: error: could not optimize @tailrec annotated method differentTypeArgs$extension: it is called recursively with different type arguments
+ {(); new Bad[String, Unit](0)}.differentTypeArgs
+ ^
+two errors found