Bug when lowering a method ref (concise method)

[John Rose]

On Sep 30, 2018, at 6:11 AM, Remi Forax <forax at univ-mlv.fr> wrote:
> 
>  public void run() -> null;

Random thoughts on null for void, and returning a "safe default"…

When we get to reified generics, there will be this:

interface HasM<any T> { default T m() -> T.default; }

There's also the usual question of "why isn't void a type"?

And if void were a type, and still more a nullable type,
then the "-> null" would be valid.

But if void were a primitive type, and Void were its wrapper.
In that case passing (Void)null up to void deserves NPE,
just as passing (Integer)null up to int gets NPE.  Unless
declaring void as nullable allowed it to avoid that fate.

— John