tests/untried/neg/t7636.scala


1
2
3
4
5
6
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.