[jdk19] Integrated: 8289196: Pattern domination not working properly for record patterns

[Jan Lahoda]

On Tue, 28 Jun 2022 13:11:25 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> When checking that a pattern in a switch case is not dominated by a preceding pattern, handling for record pattern is mostly missing. This patch is attempting to fix that, and as it requires a bit more code, it moves the check into `Check`.

This pull request has now been integrated.

Changeset: 8dd94a2c
Author:    Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.org/jdk19/commit/8dd94a2c14f7456b3eaf3e02f38d9e114eb8acc3
Stats:     197 lines in 5 files changed: 169 ins; 21 del; 7 mod

8289196: Pattern domination not working properly for record patterns

Reviewed-by: vromero

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

PR: https://git.openjdk.org/jdk19/pull/84