'Type patterns in switch' document updated

Posted on September 8, 2020

This document describes a possible approach for the next phase of pattern matching -- adding type patterns to the switch statement. This builds on the work of JEP 375. This is an exploratory document only and does not constitute a plan for any specific feature in any specific version of the Java Language…

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