ruff

[ty] Exhaustiveness checking & reachability for `match` statements

#19508

Merged