[jdk21] RFR: 8310133: Effectivelly final condition not enforced in guards for binding variables from the same case

Wed Jun 21 09:27:23 UTC 2023

Hi all,

This pull request contains a backport of commit [01623f6a](https://github.com/openjdk/jdk/commit/01623f6a5724d3eb250c48656be0aaf28df11750) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.

The commit being backported was authored by Jan Lahoda on 21 Jun 2023 and was reviewed by Vicente Romero.

Thanks!

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

Commit messages:
 - Backport 01623f6a5724d3eb250c48656be0aaf28df11750

Changes: https://git.openjdk.org/jdk21/pull/46/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=46&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8310133
  Stats: 13 lines in 3 files changed: 9 ins; 0 del; 4 mod
  Patch: https://git.openjdk.org/jdk21/pull/46.diff
  Fetch: git fetch https://git.openjdk.org/jdk21.git pull/46/head:pull/46

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