RFR: 8325653: Erroneous exhaustivity analysis for primitive patterns

[Aggelos Biboudis]

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) (in the case where the selector is a reference type) erroneously.

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

Commit messages:
 - 8325653: Erroneous exhaustivity analysis for primitive patterns

Changes: https://git.openjdk.org/jdk/pull/17810/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=17810&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8325653
  Stats: 31 lines in 3 files changed: 27 ins; 0 del; 4 mod
  Patch: https://git.openjdk.org/jdk/pull/17810.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/17810/head:pull/17810

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