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

with explicit Unit return type

1 files changed, 7 insertions, 0 deletions

diff --git a/tests/untried/neg/t7636.scala b/tests/untried/neg/t7636.scala
new file mode 100644
index 000000000..e801beacc
--- /dev/null
+++ b/tests/untried/neg/t7636.scala
@@ -0,0 +1,7 @@
+object Main extends App{
+  class ResultTable[E]( query : Either[_,E] )( columns : Int )
+  class C extends ResultTable(Left(5):Either[_,_])(5)
+}
+// Inference of the existential type for the parent type argument
+// E still fails. That looks tricky to fix, see the comments in SI-7636.
+// But we at least prevent a cascading NPE.