summaryrefslogtreecommitdiff
path: root/test/files/neg/t7636.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/neg/t7636.scala')
-rw-r--r--test/files/neg/t7636.scala7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/files/neg/t7636.scala b/test/files/neg/t7636.scala
new file mode 100644
index 0000000000..a7b1b90151
--- /dev/null
+++ b/test/files/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. \ No newline at end of file