new solver: handle edge case of a recursion limit of 0#115355

lqd wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom

lqd:issue-115351lqd/rust:issue-115351Copy head branch name to clipboard