Simplify root goal API of solver a bit#142933

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

compiler-errors:refactor-solver-apicompiler-errors/rust:refactor-solver-apiCopy head branch name to clipboard