inconsistency in invoking method

[Neal Gafter]

On Sun, Mar 3, 2013 at 3:14 PM, Brian Goetz <brian.goetz at oracle.com> wrote:

> (Keep repeating: we love erasure, we love erasure...)
>

What does that mean?  This problem occurs at compile-time.  What would be
different without erasure?  If you're relating erasure to a unified type
system, I don't think unifying the type system would help here (you can
only put the sum operation on collections in which the underlying type has
a natural addition method).

Perhaps you meant "we love declaration-site extension methods"?