RFR: 8309467: Pattern dominance should be adjusted

Mon Jun 12 08:57:41 UTC 2023

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!

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

Commit messages:
 - Backport 408cadb351eb3b3a96e81e26e1c39c89dac176ca

Changes: https://git.openjdk.org/jdk21/pull/6/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=6&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8309467
  Stats: 80 lines in 4 files changed: 62 ins; 10 del; 8 mod
  Patch: https://git.openjdk.org/jdk21/pull/6.diff
  Fetch: git fetch https://git.openjdk.org/jdk21.git pull/6/head:pull/6

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