Exhaustiveness: remove the need for arena-allocation within the algorithm#119581
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 15, 2024
Merged
Exhaustiveness: remove the need for arena-allocation within the algorithm#119581bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
