Exhaustiveness: keep the original thir::Pat around#119233
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 27, 2023
Merged
Exhaustiveness: keep the original thir::Pat around#119233bors merged 1 commit intorust-lang:masterfrom
thir::Pat around#119233bors merged 1 commit intorust-lang:masterfrom