Notes on implementing concise calls to constructors with type parameters

[Neal Gafter]

On Fri, May 15, 2009 at 7:54 PM, Reinier Zwitserloot <
reinier at zwitserloot.com> 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.