inference trouble with recursive generics and raw types

Stephan Herrmann stephan.herrmann at
Wed Nov 27 11:14:27 PST 2013

Hi Dan,

Thanks for letting us know.

Given we (Eclipse) now have an implementation of type inference 
that is very close to the new spec, and thus *doesn't* exhibit the bug,
do you have any hints on how we should add this bug on top of this 
new implementation?
What exactly is the extent of the bug? In which situations does javac 
check for convertibility where it actually should check for subtyping?

Ideally, I could use an inofficial addendum to the inference spec,
that makes the spec conform to javac, so we have a realistic chance 
to make ecj conform to both.


----- ursprüngliche Nachricht ---------

Subject: Re: inference trouble with recursive generics and raw types
Date: Mi 27 Nov 2013 01:39:03 CET
From: Dan Smith<daniel.smith at>
To: Stephan Herrmann&lt;stephan.herrmann at;

On Nov 5, 2013, at 11:03 AM, Dan Smith <daniel.smith at> wrote:

> I'll have some conversations internally about how we feel about the unchecked conversion bug

Following up.

Here's the javac bug:

There's a consensus that this is far too risky to cram late into 8, and a sense that this is probably something we will change in 9.  (This sort of change in the set of accepted programs is not something we generally allow in update releases.)


---- ursprüngliche Nachricht Ende ----

More information about the lambda-spec-experts mailing list