[lworld] RFR: 8320437: [lworld] Adding internal null-restricted storage API points [v3]

[Tobias Hartmann]

On Mon, 27 Nov 2023 19:24:13 GMT, Frederic Parain <fparain at openjdk.org> wrote:

> The problem here is that the substitutability code doesn't recognize the field as a non-free non-flat field, because it isn't aware that the @NullRestricited annotation has the same effect as a Q-descriptor in the field signature. So, the substitutability code performs a simple comparison between the reference from the initialized field and the null reference of the default value, finds them different and returns a value indicating that the two arguments are different.

Right, I hit the same issue when converting some other tests not using `.default`. Do you plan to adjust the substitutability code accordingly?

-------------

PR Comment: https://git.openjdk.org/valhalla/pull/947#issuecomment-1829576714