pub 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 fn var_origin(&self, vid: TyVid) -> TypeVariableOrigin
pub 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 fn equate(&mut self, a: TyVid, b: TyVid)
pub fn equate(&mut self, a: TyVid, b: TyVid)
Records that a == b
, depending on dir
.
Precondition: neither a
nor b
are known.
sourcepub fn instantiate(&mut self, vid: TyVid, ty: Ty<'tcx>)
pub fn instantiate(&mut self, vid: TyVid, ty: Ty<'tcx>)
Instantiates vid
with the type ty
.
Precondition: vid
must not have been previously instantiated.
sourcepub fn new_var(
&mut self,
universe: UniverseIndex,
origin: TypeVariableOrigin,
) -> TyVid
pub 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 fn root_var(&mut self, vid: TyVid) -> TyVid
pub 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 fn probe(&mut self, vid: TyVid) -> TypeVariableValue<'tcx>
pub fn probe(&mut self, vid: TyVid) -> TypeVariableValue<'tcx>
Retrieves the type to which vid
has been instantiated, if
any.
sourcepub fn inlined_probe(&mut self, vid: TyVid) -> TypeVariableValue<'tcx>
pub fn inlined_probe(&mut self, vid: TyVid) -> TypeVariableValue<'tcx>
An always-inlined variant of probe
, for very hot call sites.
sourcepub fn replace_if_possible(&mut self, t: Ty<'tcx>) -> Ty<'tcx>
pub fn replace_if_possible(&mut self, t: Ty<'tcx>) -> Ty<'tcx>
If t
is a type-inference variable, and it has been
instantiated, then return the with which it was
instantiated. Otherwise, returns t
.
sourcepub fn vars_since_snapshot(
&mut self,
value_count: usize,
) -> (Range<TyVid>, Vec<TypeVariableOrigin>)
pub 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 fn unresolved_variables(&mut self) -> Vec<TyVid>
pub 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