On Wed, 17 May 2023 13:37:09 GMT, Johan Sjölen <jsjolen at openjdk.org> wrote: > I hope it's possible to add it to jcheck, but I haven't asked around. That would be good, otherwise new `NULLs` will slip through reviews. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14009#issuecomment-1551433405