From cboudereau at gmail.com Fri Sep 8 18:59:19 2023 From: cboudereau at gmail.com (=?UTF-8?Q?Cl=C3=A9ment_BOUDEREAU?=) Date: Fri, 08 Sep 2023 18:59:19 -0000 Subject: Pattern matching exhaustiveness issue JEP 441 "JDK-8300542" Message-ID: 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: