Auto merge of #118490 - Nadrieril:arena-alloc-matrix, r=nnethercote

Exhaustiveness: allocate memory better

Exhaustiveness is a recursive algorithm that allocates a bunch of slices at every step. Let's see if I can improve performance by improving allocations.

Already just using `Vec::with_capacity` is showing impressive improvements on my local measurements.

r? `@ghost`
This commit is contained in:
bors 2023-12-04 07:06:36 +00:00
commit a7e7014123

Diff content is not available