RFR: 8310128: Switch with unnamed patterns erroneously non-exhaustive [v2]

Thu Jun 15 18:37:48 UTC 2023

On Thu, 15 Jun 2023 16:39:30 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.
>
> Aggelos Biboudis has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains three additional commits since the last revision:
> 
>  - Address comment
>  - Merge branch 'master' into fix-#8310128
>  - 8310128: Switch with unnamed patterns erroneously non-exhaustive

Looks good to me.

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

Marked as reviewed by jlahoda (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/14488#pullrequestreview-1482182093