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

[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 one additional commit since the last revision:

  Rename exactness methods

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/15638/files
  - new: https://git.openjdk.org/jdk/pull/15638/files/f036fdbc..1d88baaf

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

  Stats: 76 lines in 3 files changed: 0 ins; 0 del; 76 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