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

[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:

  Remove unnecessary disambiguation in TransPatterns and simplify Lower.visitTypeTest

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

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

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

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