Struct rustc::infer::region_inference::RegionVarBindings

pub struct RegionVarBindings<'a, 'gcx: 'a + 'tcx, 'tcx: 'a> {
    // some fields omitted
}

Unstable (rustc_private)

Methods

impl<'a, 'gcx, 'tcx> RegionVarBindings<'a, 'gcx, 'tcx>

fn new(tcx: TyCtxt<'a, 'gcx, 'tcx>) -> RegionVarBindings<'a, 'gcx, 'tcx>

fn start_snapshot(&self) -> RegionSnapshot

fn commit(&self, snapshot: RegionSnapshot)

fn rollback_to(&self, snapshot: RegionSnapshot)

fn num_vars(&self) -> u32

fn new_region_var(&self, origin: RegionVariableOrigin) -> RegionVid

fn new_skolemized(&self, br: BoundRegion, snapshot: &RegionSnapshot) -> Region

Unstable (rustc_private)

Creates a new skolemized region. Skolemized regions are fresh regions used when performing higher-ranked computations. They must be used in a very particular way and are never supposed to "escape" out into error messages or the code at large.

The idea is to always create a snapshot. Skolemized regions can be created in the context of this snapshot, but once the snapshot is committed or rolled back, their numbers will be recycled, so you must be finished with them. See the extensive comments in higher_ranked.rs to see how it works (in particular, the subtyping comparison).

The snapshot argument to this function is not really used; it's just there to make it explicit which snapshot bounds the skolemized region that results.

fn new_bound(&self, debruijn: DebruijnIndex) -> Region

fn add_given(&self, sub: FreeRegion, sup: RegionVid)

fn make_eqregion(&self, origin: SubregionOrigin<'tcx>, sub: Region, sup: Region)

fn make_subregion(&self, origin: SubregionOrigin<'tcx>, sub: Region, sup: Region)

fn verify_generic_bound(&self, origin: SubregionOrigin<'tcx>, kind: GenericKind<'tcx>, sub: Region, bound: VerifyBound)

Unstable (rustc_private)

See Verify::VerifyGenericBound

fn lub_regions(&self, origin: SubregionOrigin<'tcx>, a: Region, b: Region) -> Region

fn glb_regions(&self, origin: SubregionOrigin<'tcx>, a: Region, b: Region) -> Region

fn resolve_var(&self, rid: RegionVid) -> Region

fn opportunistic_resolve_var(&self, rid: RegionVid) -> Region

fn combine_vars<F>(&self, t: CombineMapType, a: Region, b: Region, origin: SubregionOrigin<'tcx>, relate: F) -> Region where F: FnMut(&RegionVarBindings<'a, 'gcx, 'tcx>, Region, Region)

fn vars_created_since_snapshot(&self, mark: &RegionSnapshot) -> Vec<RegionVid>

fn tainted(&self, mark: &RegionSnapshot, r0: Region) -> Vec<Region>

Unstable (rustc_private)

Computes all regions that have been related to r0 in any way since the mark mark was made---r0 itself will be the first entry. This is used when checking whether skolemized regions are being improperly related to other regions.

fn resolve_regions(&self, free_regions: &FreeRegionMap, subject_node: NodeId) -> Vec<RegionResolutionError<'tcx>>

Unstable (rustc_private)

This function performs the actual region resolution. It must be called after all constraints have been added. It performs a fixed-point iteration to find region values which satisfy all constraints, assuming such values can be found; if they cannot, errors are reported.