Integrated: 8310128: Switch with unnamed patterns erroneously non-exhaustive

Fri Jun 16 10:13:08 UTC 2023

On Fri, 16 Jun 2023 08:08:10 GMT, Aggelos Biboudis <abimpoudis at openjdk.org> wrote:

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

This pull request has now been integrated.

Changeset: aced1144
Author:    Aggelos Biboudis <abimpoudis at openjdk.org>
Committer: Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.org/jdk21/commit/aced11446ea0b80568bb1139a257927cc57af376
Stats:     28 lines in 2 files changed: 25 ins; 2 del; 1 mod

8310128: Switch with unnamed patterns erroneously non-exhaustive

Reviewed-by: jlahoda
Backport-of: 32243ef47df75241302e243b4fd9627d686437fe

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

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