Wf-check the output type of a function in MIR-typeck#57282

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

matthewjasper:wellformed-return-tymatthewjasper/rust:wellformed-return-tyCopy head branch name to clipboard