pub(crate) struct TypeVariableTable<'a, 'tcx> {
storage: &'a mut TypeVariableStorage<'tcx>,
undo_log: &'a mut InferCtxtUndoLogs<'tcx>,
}
Fields§
§storage: &'a mut TypeVariableStorage<'tcx>
§undo_log: &'a mut InferCtxtUndoLogs<'tcx>
Implementations§
source§impl<'tcx> TypeVariableTable<'_, 'tcx>
impl<'tcx> TypeVariableTable<'_, 'tcx>
sourcepub(crate) fn var_origin(&self, vid: TyVid) -> TypeVariableOrigin
pub(crate) fn var_origin(&self, vid: TyVid) -> TypeVariableOrigin
Returns the origin that was given when vid
was created.
Note that this function does not return care whether
vid
has been unified with something else or not.
sourcepub(crate) fn equate(&mut self, a: TyVid, b: TyVid)
pub(crate) fn equate(&mut self, a: TyVid, b: TyVid)
Records that a == b
, depending on dir
.
Precondition: neither a
nor b
are known.
sourcepub(crate) fn instantiate(&mut self, vid: TyVid, ty: Ty<'tcx>)
pub(crate) fn instantiate(&mut self, vid: TyVid, ty: Ty<'tcx>)
Instantiates vid
with the type ty
.
Precondition: vid
must not have been previously instantiated.
sourcepub(crate) fn new_var(
&mut self,
universe: UniverseIndex,
origin: TypeVariableOrigin,
) -> TyVid
pub(crate) fn new_var( &mut self, universe: UniverseIndex, origin: TypeVariableOrigin, ) -> TyVid
Creates a new type variable.
diverging
: indicates if this is a “diverging” type variable, e.g., one created as the type of areturn
expression. The code in this module doesn’t care if a variable is diverging, but the main Rust type-checker will sometimes “unify” such variables with the!
or()
types.origin
: indicates why the type variable was created. The code in this module doesn’t care, but it can be useful for improving error messages.
sourcepub(crate) fn root_var(&mut self, vid: TyVid) -> TyVid
pub(crate) fn root_var(&mut self, vid: TyVid) -> TyVid
Returns the “root” variable of vid
in the eq_relations
equivalence table. All type variables that have been equated
will yield the same root variable (per the union-find
algorithm), so root_var(a) == root_var(b)
implies that a == b
(transitively).
sourcepub(crate) fn probe(&mut self, vid: TyVid) -> TypeVariableValue<'tcx>
pub(crate) fn probe(&mut self, vid: TyVid) -> TypeVariableValue<'tcx>
Retrieves the type to which vid
has been instantiated, if
any.
sourcepub(crate) fn inlined_probe(&mut self, vid: TyVid) -> TypeVariableValue<'tcx>
pub(crate) fn inlined_probe(&mut self, vid: TyVid) -> TypeVariableValue<'tcx>
An always-inlined variant of probe
, for very hot call sites.
fn eq_relations( &mut self, ) -> UnificationTable<InPlace<TyVidEqKey<'tcx>, &'_ mut UnificationStorage<TyVidEqKey<'tcx>>, &'_ mut InferCtxtUndoLogs<'tcx>>>
sourcepub(crate) fn vars_since_snapshot(
&mut self,
value_count: usize,
) -> (Range<TyVid>, Vec<TypeVariableOrigin>)
pub(crate) fn vars_since_snapshot( &mut self, value_count: usize, ) -> (Range<TyVid>, Vec<TypeVariableOrigin>)
Returns a range of the type variables created during the snapshot.
sourcepub(crate) fn unresolved_variables(&mut self) -> Vec<TyVid>
pub(crate) fn unresolved_variables(&mut self) -> Vec<TyVid>
Returns indices of all variables that are not yet instantiated.
Auto Trait Implementations§
impl<'a, 'tcx> Freeze for TypeVariableTable<'a, 'tcx>
impl<'a, 'tcx> !RefUnwindSafe for TypeVariableTable<'a, 'tcx>
impl<'a, 'tcx> !Send for TypeVariableTable<'a, 'tcx>
impl<'a, 'tcx> !Sync for TypeVariableTable<'a, 'tcx>
impl<'a, 'tcx> Unpin for TypeVariableTable<'a, 'tcx>
impl<'a, 'tcx> !UnwindSafe for TypeVariableTable<'a, 'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<T> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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 moresource§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 16 bytes