fn construct_error<'tcx>(
    tcx: TyCtxt<'tcx>,
    def: LocalDefId,
    body_owner_kind: BodyOwnerKind,
    err: ErrorGuaranteed
) -> Body<'tcx>
Expand description

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.