Finalizing in JDK 16 - Pattern matching for instanceof

[Brian Goetz]

Gavin points out another corner case here: when the LHS is the `null` 
literal:

     if (null instanceof String s) { ... }

Since this is also in the "stupid question" category, it is reasonable 
to outlaw it, at least when there's a pattern on the RHS.

I wonder how often this actually occurs in real code....

On 8/26/2020 11:00 AM, Brian Goetz wrote:
>
> Proposed: An `instanceof` expression must be able to evaluate to both 
> true and false, otherwise it is invalid.  This rules out strongly 
> total patterns on the RHS.  If you have a strongly total pattern, use 
> pattern assignment instead.