add tests from scala/test/files/{pos,neg}

with explicit Unit return type

1 files changed, 9 insertions, 0 deletions

diff --git a/tests/untried/neg/t8146-non-finitary-2.check b/tests/untried/neg/t8146-non-finitary-2.check
new file mode 100644
index 000000000..8c2e1436c
--- /dev/null
+++ b/tests/untried/neg/t8146-non-finitary-2.check
@@ -0,0 +1,9 @@
+t8146-non-finitary-2.scala:5: error: class graph is not finitary because type parameter X is expansively recursive
+trait C[X] extends N[N[C[D[X]]]]
+        ^
+t8146-non-finitary-2.scala:7: error: type mismatch;
+ found   : C[Int]
+ required: N[C[Int]]
+  def foo(c: C[Int]): N[C[Int]] = c
+                                  ^
+two errors found