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