inconsistency in invoking method

Neal Gafter neal at
Sun Mar 3 16:53:35 PST 2013

On Sun, Mar 3, 2013 at 3:14 PM, Brian Goetz <brian.goetz at> 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"?

More information about the lambda-dev mailing list