blob: a7b1b90151f986824afd25e5ce265c1049b9c5c6 (
plain) (
blame)
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.
|
