RFR: 8325653: Erroneous exhaustivity analysis for primitive patterns [v2]

Tue Feb 13 16:39:05 UTC 2024

On Tue, 13 Feb 2024 09:35:08 GMT, Aggelos Biboudis <abimpoudis at openjdk.org> wrote:

>> This PR fixes an exhaustivity analysis issue with primitive patterns, that was implementing the clause in [14.11.1.1](https://cr.openjdk.org/~abimpoudis/instanceof/jep455-20240122/specs/instanceof-jls.html#jls-14.11.1.1) erroneously (in the case where the selector is a reference type).
>
> Aggelos Biboudis has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Cleanup

lgtm

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

Marked as reviewed by vromero (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/17810#pullrequestreview-1878456698