[TYPES] Java generics unsoundness?

Eijiro Sumii eijiro.sumii at gmail.com
Tue Oct 3 08:03:42 EDT 2006

Dear all,

Thank you for all the replies!  Let me try to address one source of
confusion: as far as I understand according to


the erasure of "int compareTo(B)" is itself, not "int
compareTo(Object)", because B is a class, not a type variable - is
this correct?  (Sorry if my terminology is not accurate - I have never
read the Java Language Specification before this.)

Thanks again,


More information about the Types-list mailing list