Notes on implementing concise calls to constructors with type parameters

Neal Gafter neal at
Fri May 15 21:30:45 PDT 2009

On Fri, May 15, 2009 at 7:54 PM, Reinier Zwitserloot <
reinier at> wrote:

> I believe the current rules for how generified static methods infer
> the generics can be very easily adapted to inferring for a constructor
> call with no generics info whatsoever (what's currently a raw
> constructor call) - without breaking ANY backwards compatibility.
> Unfortunately I don't have the time this month to open the JLS and
> work this out.

I have a truly marvelous proof of this conjecture which this margin is too
narrow to contain.  ;-)

Seriously, without more evidence one way or another - preferable in the form
of a proof, or at least some time spent glancing through the JLS and
checking some edge cases - I don't see how such a conjecture can be useful
to project Coin.

More information about the coin-dev mailing list