Next up for patterns: type patterns in switch


There are a lot of directions we could take next for pattern matching. The one that builds most on what we've already done, and offers significant incremental expressiveness, is extending the type patterns…

More at https://mail.openjdk.java.net/pipermail/amber-spec-experts/2020-June/002235.html