Moving from VVT to the L-world value types (LWVT)

Paul Sandoz paul.sandoz at
Thu Feb 1 17:49:30 UTC 2018

> On Feb 1, 2018, at 5:57 AM, John Rose <john.r.rose at> wrote:
> On Jan 29, 2018, at 7:31 PM, Frederic Parain <frederic.parain at> wrote:
>> During a brainstorming session with Karen this morning, we realized
>> that case 2-A (ACC_FLAT flag set for an object class) should be in
>> fact treated as an error, instead of just ignoring the flag.
> I agree, this is a cleaner option, better than saying "oops, not flat
> after all".  Using Remi's notation, the choice is between:
> or:
> Also, forbidding this configuration leaves open, as a future option,
> the ability of a classfile to specify non-nullable reference fields.
> That is potentially useful, depending on the future fortunes of
> null (that billion-dollar mistake).

Yes, i was opportunistically thinking the same thing when asking questions related to enums.


More information about the valhalla-dev mailing list