new solver: make all goal evaluation able to be automatically rerun #108896

bors merged 9 commits into

rust-lang:masterrust-lang/rust:masterfrom

BoxyUwU:new_solver_add_goal_fnBoxyUwU/rust:new_solver_add_goal_fnCopy head branch name to clipboard