What's in a CONSTANT_Class?

John Rose john.r.rose at oracle.com
Fri Jun 9 20:45:46 UTC 2017

On Jun 9, 2017, at 8:43 AM, Dan Smith <daniel.smith at oracle.com> wrote:
> I prefer the discipline of making 'void' a separate entity (CONSTANT_Void?) that we don't necessarily call a "type", although not sure that carries its weight.

I think on balance the JLS would be cleaner if we admitted void is a type, with some funny restrictions.

(IIRC Alex tilts this way too.)

Allowing <T> in return position to assume <void> will be attractive with new generics.

More information about the valhalla-spec-observers mailing list