Integrated: 8317300: javac erroneously allows "final" in front of a record pattern

Tue Oct 17 13:02:03 UTC 2023

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.

This pull request has now been integrated.

Changeset: 5ca1beb3
Author:    Aggelos Biboudis <abimpoudis at openjdk.org>
Committer: Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/5ca1beb30e35cc91bf170960fb832de6438de1de
Stats:     30 lines in 3 files changed: 30 ins; 0 del; 0 mod

8317300: javac erroneously allows "final" in front of a record pattern

Reviewed-by: jlahoda

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

PR: https://git.openjdk.org/jdk/pull/15997