Tweaks to writeback and `Obligation -> Goal` conversion#138846

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

compiler-errors:stall-prereqscompiler-errors/rust:stall-prereqsCopy head branch name to clipboard