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

Fri Jun 16 07:08:08 UTC 2023

On Thu, 15 Jun 2023 10:23:42 GMT, Aggelos Biboudis <abimpoudis at openjdk.org> wrote:

> When a record pattern has an unnamed pattern with the type of the corresponding record component being primitive, the switch is erroneously deemed as non-exhaustive. This PR addresses this issue by introducing the correct type for unnamed patterns during exhaustivity check.

This pull request has now been integrated.

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

8310128: Switch with unnamed patterns erroneously non-exhaustive

Reviewed-by: vromero, jlahoda

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

PR: https://git.openjdk.org/jdk/pull/14488