Finalizing in JDK 16 - Pattern matching for instanceof


I have been thinking about this and I have two refinements I would like to suggest for Pattern Matching in instanceof. Both have come out of the further work on the next phases of pattern matching...

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