RFR: 8303374: Compiler Implementation for Primitive types in patterns, instanceof, and switch (Preview) [v14]

[Aggelos Biboudis]

> This is the first draft of a patch for Primitive types in patterns, instanceof, and switch (Preview).
> 
> Draft spec here: https://cr.openjdk.org/~abimpoudis/instanceof/instanceof-20230913/specs/instanceof-jls.html

Aggelos Biboudis has updated the pull request incrementally with five additional commits since the last revision:

 - Fix exhaustiveness check for primitive types
 - Add tests
 - Improve non integral check
 - Fixing error conditions, tweaking tests.
 - Attempting to improve reported errors.

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/15638/files
  - new: https://git.openjdk.org/jdk/pull/15638/files/f1a5e141..cdaa186c

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=15638&range=13
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=15638&range=12-13

  Stats: 496 lines in 13 files changed: 351 ins; 84 del; 61 mod
  Patch: https://git.openjdk.org/jdk/pull/15638.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/15638/head:pull/15638

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