typeck: small refactoring, add 'fn write_resolution'#61803

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

Centril:write_resolutionCentril/rust:write_resolutionCopy head branch name to clipboard