hg: valhalla/valhalla: 8222634: [lworld] Javac sometimes emits incorrect ('Q') descriptors for fields.

[Tobias Hartmann]

On 17.04.19 15:13, Brian Goetz wrote:
> On (1), I think this should be done on the basis of value set inclusion.  For reference types, null-default value types, and the nullable-projection of zero-default value types (V?), null is a member of the value set; for primitives, and for zero-default value types, it is not.  I think the compiler should not allow assignment of a value that is not a member of the value set.  
> 
> We need better terminology….I said value and null too many times in the above paragraph.  

Yes, in the bug report I'm referring to V? (V.box) that should allow null assignments. V (V.val)
should not allow null.

Best regards,
Tobias