diamond operator & implementation strategies (v3)

Neal Gafter neal at gafter.com
Fri Aug 21 21:29:36 PDT 2009

I believe there are situations that they give different, incompatible
results.  The "complex" method is currently (Java 5 and later) used for
inference of method type arguments, so the language and compiler must
implement it already.  I feel it's better to have one inference algorithm
rather than two.

On Fri, Aug 21, 2009 at 12:54 PM, Paul Benedict <pbenedict at apache.org>wrote:

> Maurizio and all,
> Do you believe that the "simple approach" is a subset of the "complex
> approach"? For the changes recommended regarding the JLS, I hope they would
> nicely pave the way for the complex approach later on. It would be a shame
> if these type-inference rules cornered javac from later expanding its
> rules.
> Paul

More information about the coin-dev mailing list