Struct RegionConstraintCollector Copy item path

pub fn take_and_reset_data(&mut self) -> RegionConstraintData<'db>

Takes (and clears) the current set of constraints. Note that the set of variables remains intact, but all relationships between them are reset. This is used during NLL checking to grab the set of constraints that arose from a particular operation.

We don’t want to leak relationships between variables between points because just because (say) r1 == r2 was true at some point P in the graph doesn’t imply that it will be true at some other point Q, in NLL.

Not legal during a snapshot.

pub fn data(&self) -> &RegionConstraintData<'db>

pub fn opportunistic_resolve_var( &mut self, cx: DbInterner<'db>, vid: RegionVid, ) -> Region<'db>

Resolves a region var to its value in the unification table, if it exists. Otherwise, it is resolved to the root ReVar in the table.

pub fn probe_value( &mut self, vid: RegionVid, ) -> Result<Region<'db>, UniverseIndex>

pub fn universe(&mut self, region: Region<'db>) -> UniverseIndex

Auto Trait Implementations§

impl<'db, 'a> Freeze for RegionConstraintCollector<'db, 'a>

impl<'db, 'a> !RefUnwindSafe for RegionConstraintCollector<'db, 'a>

impl<'db, 'a> Send for RegionConstraintCollector<'db, 'a>

impl<'db, 'a> Sync for RegionConstraintCollector<'db, 'a>

impl<'db, 'a> Unpin for RegionConstraintCollector<'db, 'a>

impl<'db, 'a> !UnwindSafe for RegionConstraintCollector<'db, 'a>

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> Cast for T

fn cast(self, interner: ::Interner) -> U
where Self: CastTo, U: HasInterner,

Cast a value to type U using CastTo.

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

Equivalent to f(&iter.collect::<Vec<_>>()).

type Output = R

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> IntoBox<dyn Any> for T
where T: Any,

fn into_box(self) -> Box<dyn Any>

Convert self into the appropriate boxed form.

impl<T> IntoBox<dyn Any + Send> for T
where T: Any + Send,

fn into_box(self) -> Box<dyn Any + Send>

Convert self into the appropriate boxed form.

impl<T> IntoBox<dyn Any + Sync + Send> for T
where T: Any + Send + Sync,

fn into_box(self) -> Box<dyn Any + Sync + Send>

Convert self into the appropriate boxed form.

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more