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

[Aggelos Biboudis]

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

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 29 additional commits since the last revision:

 - Merge branch 'master' into primitive-patterns
 - Improve javadoc of ExactConversionsSupport
   
   Co-authored-by: Raffaello Giulietti <raffaello.giulietti at oracle.com>
 - Adjust javadoc on ExactConversionsSupport
 - Merge branch 'master' into primitive-patterns
 - Address review
   
   - Add comments
   - Rename exactness methods
   - Use convenience methods from TypeTag for checkUnconditionallyExactPrimitives in Types
   - Port isStrictSubRangeOf to Wrapper and use it for unconditionalExactnessCheck in SwitchBootstraps
 - Fix duplicate method name and add a new test in PrimitivePatternsSwitchErrors
 - Merge branch 'master' into primitive-patterns
 - Update name of exactness methods class
 - Merge branch 'master' into primitive-patterns
 - Adjust tests
   
   Co-authored-by: Jan Lahoda <jan.lahoda at oracle.com>
   Co-authored-by: Angelos Bimpoudis <angelos.bimpoudis at oracle.com>
 - ... and 19 more: https://git.openjdk.org/jdk/compare/61a05796...4acb66e0

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/15638/files
  - new: https://git.openjdk.org/jdk/pull/15638/files/b9237148..4acb66e0

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

  Stats: 3033 lines in 152 files changed: 2010 ins; 411 del; 612 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