Re: 18.2.3 fails to properly reduce ⟨null <: α⟩

[Dan Smith]

Yes, you're right.  That's a bug.  Thanks for reporting it.

I've created this JBS bug:
https://bugs.openjdk.java.net/browse/JDK-8033407

—Dan

On Jan 24, 2014, at 5:38 PM, Stephan Herrmann <stephan.herrmann at berlin.de> wrote:

> 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