Integrated: 8309467: Pattern dominance should be adjusted

Tue Jun 13 07:36:59 UTC 2023

On Mon, 12 Jun 2023 08:49:04 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> Hi all,
> 
> This pull request contains a backport of commit [408cadb3](https://github.com/openjdk/jdk/commit/408cadb351eb3b3a96e81e26e1c39c89dac176ca) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
> 
> The commit being backported was authored by Jan Lahoda on 12 Jun 2023 and was reviewed by Vicente Romero.
> 
> Thanks!

This pull request has now been integrated.

Changeset: 83ea2935
Author:    Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.org/jdk21/commit/83ea2935815141bd7a930f3920889b1f2233d208
Stats:     80 lines in 4 files changed: 62 ins; 10 del; 8 mod

8309467: Pattern dominance should be adjusted

Reviewed-by: vromero
Backport-of: 408cadb351eb3b3a96e81e26e1c39c89dac176ca

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

PR: https://git.openjdk.org/jdk21/pull/6