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

[Raffaello Giulietti]

On Thu, 28 Sep 2023 16:46:11 GMT, Aggelos Biboudis <abimpoudis at openjdk.org> wrote:

>> 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:
> 
>   Apply suggestions from code review
>   
>   Co-authored-by: Raffaello Giulietti <raffaello.giulietti at oracle.com>

I just had a reading at the `ExactnessMethods` class. From that limited perspective, the methods mentioned above seem redundant.
But if their removal would make other parts more complex, that's a good reason to keep them.

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

PR Comment: https://git.openjdk.org/jdk/pull/15638#issuecomment-1741159978