Re: 18.2.3 fails to properly reduce ⟨null <: α⟩
daniel.smith at oracle.com
Fri Jan 31 13:52:02 PST 2014
Yes, you're right. That's a bug. Thanks for reporting it.
I've created this JBS bug:
On Jan 24, 2014, at 5:38 PM, Stephan Herrmann <stephan.herrmann at berlin.de> wrote:
> 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
> 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?
>  https://bugs.eclipse.org/bugs/show_bug.cgi?id=426534
More information about the lambda-spec-experts