Struct rustc_mir::borrow_check::type_check::free_region_relations::UniversalRegionRelationsBuilder

pub(in borrow_check::type_check::free_region_relations) struct UniversalRegionRelationsBuilder<'this, 'tcx> {
    infcx: &'this InferCtxt<'this, 'tcx>,
    param_env: ParamEnv<'tcx>,
    universal_regions: Rc<UniversalRegions<'tcx>>,
    implicit_region_bound: Option<Region<'tcx>>,
    constraints: &'this mut MirTypeckRegionConstraints<'tcx>,
    relations: UniversalRegionRelations<'tcx>,
    region_bound_pairs: Vec<(Region<'tcx>, GenericKind<'tcx>)>,
}

Fields

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

param_env: ParamEnv<'tcx>

universal_regions: Rc<UniversalRegions<'tcx>>

implicit_region_bound: Option<Region<'tcx>>

constraints: &'this mut MirTypeckRegionConstraints<'tcx>

relations: UniversalRegionRelations<'tcx>

region_bound_pairs: Vec<(Region<'tcx>, GenericKind<'tcx>)>

Implementations

impl<'cx, 'tcx> UniversalRegionRelationsBuilder<'cx, 'tcx>

pub(crate) fn create(self) -> CreateResult<'tcx>

pub(in borrow_check::type_check::free_region_relations) fn add_implied_bounds(
    &mut self,
    ty: Ty<'tcx>
) -> Option<Rc<QueryRegionConstraints<'tcx>>>

Update the type of a single local, which should represent either the return type of the MIR or one of its arguments. At the same time, compute and add any implied bounds that come from this local.

pub(in borrow_check::type_check::free_region_relations) fn add_outlives_bounds<I>(
    &mut self,
    outlives_bounds: I
) where
    I: IntoIterator<Item = OutlivesBound<'tcx>>, 

Registers the OutlivesBound items from outlives_bounds in the outlives relation as well as the region-bound pairs listing.