I have updated https://github.com/openjdk/amber-docs/blob/master/site/design-notes/type-patterns-in-switch.md based on our discussions. -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20200908/92483afa/attachment.htm>