On Sat, 30 Sep 2023 08:00:44 GMT, Aggelos Biboudis <abimpoudis at openjdk.org> wrote: > Introduces the relevant check for `final` in record patterns. Looks reasonable to me. ------------- Marked as reviewed by jlahoda (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/15997#pullrequestreview-1652973083