diff options
Diffstat (limited to 'tests/untried/neg/t7636.scala')
| -rw-r--r-- | tests/untried/neg/t7636.scala | 7 |
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. |