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

[Paul Sandoz]

> On Feb 1, 2018, at 5:57 AM, John Rose <john.r.rose at oracle.com> wrote:
> 
> On Jan 29, 2018, at 7:31 PM, Frederic Parain <frederic.parain at oracle.com> 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:
>  ACC_NON_NULLABLE_AND_ERROR_IF_OBJECT_TYPE
> or:
>  ACC_NON_NULLABLE_UNLESS_OBJECT_TYPE
> 
> 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.

Paul.