Project Coin: Inducing contributory heap pollution

[Joe Darcy]

Neal Gafter wrote:
> Re: http://blogs.sun.com/darcy/entry/projectcoin_inducing_contributory_pollution
>
> I thought technical documents for project Coin were supposed to be
> published here?
>   

I was planning to post on the list later today.

> A nit: the @Inherited annotation "has no effect if [...] used to
> annotate anything other than a class", and so can't be used for the
> purpose described.
>   

Yes, that is a complication.

> Inheriting the diagnostic-suppression annotation would be a great way
> to induce contributory heap pollution.  All you have to do is extend a
> class with a warning-suppressed varargs method, providing an unsafe
> overriding implementation, and voila!  Heap pollution without a
> warning.
>   

I was thinking that the spec for the annotation would allow compilers to 
issue errors if they could prove bad things actually happen in an 
implementation of a so annotated method.

-Joe