git: openjdk/jdk: 8314578: Non-verifiable code is emitted when two guards declare pattern variables in colon-switch

Tue Oct 17 12:56:09 UTC 2023

Changeset: 15588e08
Author:    Aggelos Biboudis <abimpoudis at openjdk.org>
Committer: Jan Lahoda <jlahoda at openjdk.org>
Date:      2023-10-17 12:51:57 +0000
URL:       https://git.openjdk.org/jdk/commit/15588e08ed455eac356aa923c35503beaecd5b6d

8314578: Non-verifiable code is emitted when two guards declare pattern variables in colon-switch

Reviewed-by: vromero

! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java
+ test/langtools/tools/javac/patterns/T8314578.java
+ test/langtools/tools/javac/patterns/T8314578.out