inference trouble with recursive generics and raw types

[Stephan Herrmann]

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.

best,
Stephan

----- 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 oracle.com>
To: Stephan Herrmann&lt;stephan.herrmann at berlin.de&gt;

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

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

Following up.

Here's the javac bug:
https://bugs.openjdk.java.net/browse/JDK-8026527

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.)

—Dan

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