With https://github.com/rust-lang/rust/pull/145925 the `wg-grammer` benchmark now compiles. It takes 1 minute to compile while the old solver takes 5 seconds. I don't have a good grasp of what's taking this much time. It would be really helpful to figure out what's causing a 10x slowdown here.