18.2.3 fails to properly reduce ⟨null <: α⟩

[Stephan Herrmann]

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?

best,
Stephan



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