Function rustc_mir_build::build::construct_error

fn construct_error(
    tcx: TyCtxt<'_>,
    def: LocalDefId,
    err: ErrorGuaranteed
) -> Body<'_>

Construct MIR for an item that has had errors in type checking.

This is required because we may still want to run MIR passes on an item with type errors, but normal MIR construction can’t handle that in general.