Implement some FIXME methods in the new trait solver#106742

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:new-solver-make-it-not-icecompiler-errors/rust:new-solver-make-it-not-iceCopy head branch name to clipboard