Struct rustc_infer::infer::region_constraints::leak_check::SccUniverse

pub(in infer::region_constraints::leak_check) struct SccUniverse<'tcx> {
    universe: UniverseIndex,
    region: Option<Region<'tcx>>,
}

Tracks the "minimum universe" for each SCC, along with some region that caused it to change.

Fields

universe: UniverseIndex

For some SCC S, the minimum universe of:

• each region R in S
• each SCC S1 such that S: S1

region: Option<Region<'tcx>>

Some region that caused universe to be what it is.

Implementations

impl<'tcx> SccUniverse<'tcx>

pub(in infer::region_constraints::leak_check) fn take_min(
    &mut self,
    universe: UniverseIndex,
    region: Region<'tcx>
)

If universe is less than our current universe, then update self.universe and self.region.

Trait Implementations

impl<'tcx> Clone for SccUniverse<'tcx>

pub fn clone(&self) -> SccUniverse<'tcx>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Copy for SccUniverse<'tcx>

impl<'tcx> Debug for SccUniverse<'tcx>

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.