Fun with method references

[John Nilsson]

On Sun, Aug 8, 2010 at 11:13 AM, Fredrik Ohrstrom <oehrstroem at gmail.com> wrote:
> 2010/8/7 Rémi Forax <forax at univ-mlv.fr>:
>> void foo(Handler<String> stringHandler) { ... }
>> void foo(Handler<Bar> barHandler) { ... }
>>
>> which exhibits exactly the same erasure problem.
>>
>
> Exactly. I strongly believe that we need function types.
> Whatever restrictions that are put upon them due to
> erasure, will be lifted whenever we get erasure.

I don't understand how reification would help here. Isn't overloaded
method resolution resolved at compile time? So if there is a problem
with overloading, shouldn't this problem be solved at compile time?

Mvh,
John