> 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
