Most crater runs with the new solver rust-lang/rust#133502 used double the recursion limit.
The last one without a doubled recursion limit was rust-lang/rust#133502 (comment). Looking at its report there are a bunch of crates which now hit the recursion limit. I think this is mainly because normalization now adds additional recursion steps, increasing the reached depth.
As a good way to alleviate this issue, we should allow users to increase the recursion limit of their dependencies without having to update their code.
For this, I would like us to add a flag --recursion-limit=<number> to rustc (and maybe to cargo) which overwrites the recursion limit specified in the crate itself.
Most crater runs with the new solver rust-lang/rust#133502 used double the recursion limit.
The last one without a doubled recursion limit was rust-lang/rust#133502 (comment). Looking at its report there are a bunch of crates which now hit the recursion limit. I think this is mainly because normalization now adds additional recursion steps, increasing the reached depth.
As a good way to alleviate this issue, we should allow users to increase the recursion limit of their dependencies without having to update their code.
For this, I would like us to add a flag
--recursion-limit=<number>to rustc (and maybe to cargo) which overwrites the recursion limit specified in the crate itself.