On Wed, 7 Jan 2026 15:10:27 GMT, Vicente Romero <[email protected]> wrote:
>> Definition and use of a new null checking API > > Vicente Romero has updated the pull request incrementally with one additional > commit since the last revision: > > addressing review comments I know this is already pushed but can NULLCHK2 be changed to NULLRESTRICTEDCHK ? ------------- PR Comment: https://git.openjdk.org/valhalla/pull/1859#issuecomment-3719832206
