Skip to content

Exhaustiveness: keep the original thir::Pat around#119233

Merged
bors merged 1 commit intorust-lang:masterfrom
Nadrieril:keep-whole-pat-around
Dec 27, 2023
Merged

Exhaustiveness: keep the original `thir::Pat` around#119233
bors merged 1 commit intorust-lang:masterfrom
Nadrieril:keep-whole-pat-around

Commits

Commits on Dec 26, 2023