Struct rustc_mir::borrow_check::universal_regions::UniversalRegionsBuilder

pub(in borrow_check::universal_regions) struct UniversalRegionsBuilder<'cx, 'tcx> {
    infcx: &'cx InferCtxt<'cx, 'tcx>,
    mir_def: WithOptConstParam<LocalDefId>,
    mir_hir_id: HirId,
    param_env: ParamEnv<'tcx>,
}

Fields

infcx: &'cx InferCtxt<'cx, 'tcx>

mir_def: WithOptConstParam<LocalDefId>

mir_hir_id: HirId

param_env: ParamEnv<'tcx>

Implementations

impl<'cx, 'tcx> UniversalRegionsBuilder<'cx, 'tcx>

pub(in borrow_check::universal_regions) fn build(
    self
) -> UniversalRegions<'tcx>

pub(in borrow_check::universal_regions) fn defining_ty(
    &self
) -> DefiningTy<'tcx>

Returns the "defining type" of the current MIR; see DefiningTy for details.

pub(in borrow_check::universal_regions) fn compute_indices(
    &self,
    fr_static: RegionVid,
    defining_ty: DefiningTy<'tcx>
) -> UniversalRegionIndices<'tcx>

Builds a hashmap that maps from the universal regions that are in scope (as a ty::Region<'tcx>) to their indices (as a RegionVid). The map returned by this function contains only the early-bound regions.

pub(in borrow_check::universal_regions) fn compute_inputs_and_output(
    &self,
    indices: &UniversalRegionIndices<'tcx>,
    defining_ty: DefiningTy<'tcx>
) -> Binder<&'tcx List<Ty<'tcx>>>