Q-types are dead, long live non-null side attributes

[Gernot Neppert]

Hi,

looks like a great idea to me - which is no wonder because I propsed it 
back in June 2021 already, as this posting proves:

https://mail.openjdk.org/pipermail/valhalla-spec-observers/2021-June/001527.html

In that text, I wrote something very similar to Remi's reasoning:

"do we really need to have two different type-mirrors corresponding
to these descriptors?
Isn't the "Q-ness" rather a property of the Field, method Parameter or
method return-type, and therefore should be available there via
reflection as a simple boolean property?"

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/valhalla-spec-observers/attachments/20230121/8bbe1560/attachment.htm>