I’m still confused what casting has to do with exhaustivity checking.
(Also, I’d like to know more about when and to what extent patterns affect the expected type, for target typing to be relevant. I didn’t know it could affect it at all if the patterns are part of a match.)