[patterns-switch] Draft Spec for JEP 420: Pattern Matching for switch (Second Preview)

[Gavin Bierman]

Dear experts:

The first draft of the spec for JEP 420 (Pattern Matching for switch - Second Preview) is now available at:

http://cr.openjdk.java.net/~gbierman/jep420/latest/

This contains the updates discussed on the list (GADT support, revised dominance rules for constant case labels etc). It doesn’t support inference of type arguments (yet). More details on that to follow.

Comments welcome!

Thanks,
Gavin