summaryrefslogtreecommitdiff
path: root/test/files/neg/t8146-non-finitary.check
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/neg/t8146-non-finitary.check')
-rw-r--r--test/files/neg/t8146-non-finitary.check9
1 files changed, 9 insertions, 0 deletions
diff --git a/test/files/neg/t8146-non-finitary.check b/test/files/neg/t8146-non-finitary.check
new file mode 100644
index 0000000000..8363b750ca
--- /dev/null
+++ b/test/files/neg/t8146-non-finitary.check
@@ -0,0 +1,9 @@
+t8146-non-finitary.scala:4: error: class graph is not finitary because type parameter A is expansively recursive
+trait C[A] extends N[N[C[C[A]]]]
+ ^
+t8146-non-finitary.scala:6: error: type mismatch;
+ found : C[Int]
+ required: N[C[Int]]
+ def foo(c: C[Int]): N[C[Int]] = c
+ ^
+two errors found