On Wed, 19 May 2021 17:20:02 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Ian Graves has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Name shortening. Copyright updates. > > src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/Contents.java > line 415: > >> 413: c.add(con); >> 414: } >> 415: > > I guess at some point this becomes "pattern switch" or whatever the feature > is called ... but not yet The feature you are talking about is called "Pattern Matching for switch". The feature is described as a preview feature by JEP 406, which is currently proposed to target JDK 17. ------------- PR: https://git.openjdk.java.net/jdk/pull/4105
