[jdk21] RFR: 8311815: Incorrect exhaustivity computation

Tue Jul 18 18:53:49 UTC 2023

On Tue, 18 Jul 2023 18:25:29 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> Hi all,
> 
> This pull request contains a backport of commit [a4412166](https://github.com/openjdk/jdk/commit/a4412166ec8526db5e5e8e1ca324f86124055b30) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
> 
> The commit being backported was authored by Jan Lahoda on 17 Jul 2023 and was reviewed by Vicente Romero.
> 
> Thanks!

looks good

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

Marked as reviewed by vromero (Reviewer).

PR Review: https://git.openjdk.org/jdk21/pull/138#pullrequestreview-1535703350