next_solver_overflow_fcw_limit

set the depth limit for displaying the overflow FCW chain (final limit = min(this, recursion_limit_from_crate * 2))

This feature has no tracking issue, and is therefore likely internal to the compiler, not being intended for general use.