Auto merge of #119581 - Nadrieril:detangle-arena, r=compiler-errors

Exhaustiveness: remove the need for arena-allocation within the algorithm

After rust-lang/rust#119688, exhaustiveness checking doesn't need access to the arena anymore. This simplifies the lifetime story and makes it compile on stable without the extra dependency.

r? `@compiler-errors`