internal: Use upstream exhaustiveness checker!#16420

Merged

bors merged 1 commit intorust-lang:masterfrom

Nadrieril:use-upstream-pattern-analysis

Jan 24, 2024

Commits on Jan 23, 2024

Replace local copy of exhaustiveness checking with upstream librarified version
Nadrieril
committed