18.2.3 fails to properly reduce ⟨null <: α⟩
stephan.herrmann at berlin.de
Fri Jan 24 16:38:47 PST 2014
Srikanth brought up a test case that seems to reveal a bug in 18.2.3.
Indirectly the example shows that inference can produce a solution
that instantiates a type variable to the null type.
Since it occurred in a varargs context we are trying to generate
The problem seems to be in the order of rules in 18.2.3.
The constraint ⟨null <: α⟩ reduces to the bound null <: α
where it actually should reduce to true, right?
More information about the lambda-spec-experts