Pattern matching exhaustiveness issue JEP 441 "JDK-8300542"

[Clément BOUDEREAU]

Hi,

First of all, thank you for the amazing work done to enhance pattern
matching for switch expression.

I am trying preview features of the openjdk 21 where I got an issue on
exhaustiveness and I would like to contribute by adding more cases to help
on this issue : https://bugs.openjdk.org/browse/JDK-8300542

Here is a gist to reproduce the issue :
https://gist.github.com/cboudereau/4e4668cb7ceac2c65ec5e9571f20e7dd?permalink_comment_id=4685034#gistcomment-4685034
.

If I understand correctly that I need an account to submit my comment ?

Please, let me introduce myself :
I am a senior developper working with rust/fsharp/ocaml and obviously java,
I also reviewed "Domain modeling made functional" by Scott Wlaschin where
my name appears and I have good knowledge about pattern matching in action
through rust, ocaml and fsharp.

Kind regards.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/jls-jvms-spec-comments/attachments/20230908/0750da38/attachment-0001.htm>