`new_outside_solver` -> `evaluate_root_goal`#107227

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

lcnr:solver-new-external-apilcnr/rust:solver-new-external-apiCopy head branch name to clipboard