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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/valhalla-spec-experts/attachments/20170609/0865bdff/attachment.html>

More information about the valhalla-spec-experts mailing list