RFR: do not generate null checks for record patterns [v3]

[Maurizio Cimadamore]

On Tue, 13 Jan 2026 22:33:36 GMT, Vicente Romero <vromero at openjdk.org> wrote:

>> do not generate null checks for record patterns
>
> Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:
> 
>   addressing review comments

Looks good!

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

Marked as reviewed by mcimadamore (Committer).

PR Review: https://git.openjdk.org/valhalla/pull/1884#pullrequestreview-3660882501