inference trouble with recursive generics and raw types
stephan.herrmann at berlin.de
Wed Nov 27 11:14:27 PST 2013
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
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 oracle.com>
To: Stephan Herrmann<stephan.herrmann at berlin.de>
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
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