18.2.3 fails to properly reduce ⟨null <: α⟩

Stephan Herrmann stephan.herrmann at berlin.de
Fri Jan 24 16:38:47 PST 2014

Srikanth brought up a test case[1] 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

   new null[]

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?


[1] https://bugs.eclipse.org/bugs/show_bug.cgi?id=426534

More information about the lambda-spec-experts mailing list