flux_rustc_bridge::mir

Function replicate_infer_ctxt

Source
pub(crate) fn replicate_infer_ctxt<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: LocalDefId,
    body_with_facts: &BodyWithBorrowckFacts<'tcx>,
) -> InferCtxt<'tcx>
Expand description

Replicate the InferCtxt used for mir typeck by generating region variables for every region in the RegionInferenceContext