git: openjdk/jdk19: 8289196: Pattern domination not working properly for record patterns

[Jan Lahoda]

Changeset: 8dd94a2c
Author:    Jan Lahoda <jlahoda at openjdk.org>
Date:      2022-07-07 07:54:18 +0000
URL:       https://git.openjdk.org/jdk19/commit/8dd94a2c14f7456b3eaf3e02f38d9e114eb8acc3

8289196: Pattern domination not working properly for record patterns

Reviewed-by: vromero

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