Do not compute optimized MIR if code does not type-check.#147092

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

cjgillot:late-validate-mircjgillot/rust:late-validate-mirCopy head branch name to clipboard