git: openjdk/jdk21: 8309467: Pattern dominance should be adjusted

[Jan Lahoda]

Changeset: 83ea2935
Author:    Jan Lahoda <jlahoda at openjdk.org>
Date:      2023-06-13 07:33:27 +0000
URL:       https://git.openjdk.org/jdk21/commit/83ea2935815141bd7a930f3920889b1f2233d208

8309467: Pattern dominance should be adjusted

Reviewed-by: vromero
Backport-of: 408cadb351eb3b3a96e81e26e1c39c89dac176ca

! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java
! test/langtools/tools/javac/patterns/Domination.out
! test/langtools/tools/javac/patterns/NewCaseStructureTest.java
! test/langtools/tools/javac/patterns/Switches.java