[TYPES] Java generics unsoundness?

Eijiro Sumii eijiro.sumii at gmail.com
Sun Oct 1 02:12:57 EDT 2006


P.S.

On 10/1/06, Eijiro Sumii <eijiro.sumii at gmail.com> wrote:
> (unless we modify the present JVM).  In my understading, such
> overriding as above is not forbidden in the current language
  ^^^^^^^^^^
I meant "overloading."  Sorry.

> specification (page 227 and page 478 perhaps).


More information about the Types-list mailing list