Skip to content

[ty] Exhaustiveness checking & reachability for match statements - #19508

Merged
sharkdp merged 1 commit into
mainfrom
david/match-exhaustiveness
Jul 23, 2025
Merged

[ty] Exhaustiveness checking & reachability for match statements#19508
sharkdp merged 1 commit into
mainfrom
david/match-exhaustiveness