e43a3a66a9
This is more flexible than the linear scan, and we don't need the separate allocation pass for constrained values anymore.