Enum rustc_middle::infer::canonical::CanonicalVarKind

pub enum CanonicalVarKind<I>where
    I: Interner,{
    Ty(CanonicalTyVarKind),
    PlaceholderTy(<I as Interner>::PlaceholderTy),
    Region(UniverseIndex),
    PlaceholderRegion(<I as Interner>::PlaceholderRegion),
    Const(UniverseIndex, <I as Interner>::Ty),
    Effect,
    PlaceholderConst(<I as Interner>::PlaceholderConst, <I as Interner>::Ty),
}

Expand description

Describes the “kind” of the canonical variable. This is a “kind” in the type-theory sense of the term – i.e., a “meta” type system that analyzes type-like values.

Variants§

Ty(CanonicalTyVarKind)

Some kind of type inference variable.

PlaceholderTy(<I as Interner>::PlaceholderTy)

A “placeholder” that represents “any type”.

Region(UniverseIndex)

Region variable '?R.

PlaceholderRegion(<I as Interner>::PlaceholderRegion)

A “placeholder” that represents “any region”. Created when you are solving a goal like for<'a> T: Foo<'a> to represent the bound region 'a.

Const(UniverseIndex, <I as Interner>::Ty)

Some kind of const inference variable.

Effect

Effect variable '?E.

PlaceholderConst(<I as Interner>::PlaceholderConst, <I as Interner>::Ty)

A “placeholder” that represents “any const”.

Auto Trait Implementations§

impl<I> DynSync for CanonicalVarKind<I>where <I as Interner>::PlaceholderConst: DynSync, <I as Interner>::PlaceholderRegion: DynSync, <I as Interner>::PlaceholderTy: DynSync, <I as Interner>::Ty: DynSync,

impl<I> RefUnwindSafe for CanonicalVarKind<I>where <I as Interner>::PlaceholderConst: RefUnwindSafe, <I as Interner>::PlaceholderRegion: RefUnwindSafe, <I as Interner>::PlaceholderTy: RefUnwindSafe, <I as Interner>::Ty: RefUnwindSafe,

impl<I> Send for CanonicalVarKind<I>where <I as Interner>::PlaceholderConst: Send, <I as Interner>::PlaceholderRegion: Send, <I as Interner>::PlaceholderTy: Send, <I as Interner>::Ty: Send,

impl<I> Sync for CanonicalVarKind<I>where <I as Interner>::PlaceholderConst: Sync, <I as Interner>::PlaceholderRegion: Sync, <I as Interner>::PlaceholderTy: Sync, <I as Interner>::Ty: Sync,

impl<I> Unpin for CanonicalVarKind<I>where <I as Interner>::PlaceholderConst: Unpin, <I as Interner>::PlaceholderRegion: Unpin, <I as Interner>::PlaceholderTy: Unpin, <I as Interner>::Ty: Unpin,

impl<I> UnwindSafe for CanonicalVarKind<I>where <I as Interner>::PlaceholderConst: UnwindSafe, <I as Interner>::PlaceholderRegion: UnwindSafe, <I as Interner>::PlaceholderTy: UnwindSafe, <I as Interner>::Ty: UnwindSafe,

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

Alignment of Self.

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

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

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

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

type Output = R

impl<Tcx, T> DepNodeParams<Tcx> for Twhere Tcx: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

default fn fingerprint_style() -> FingerprintStyle

default fn to_fingerprint(&self, tcx: Tcx) -> Fingerprint

This method turns the parameters of a DepNodeConstructor into an opaque Fingerprint to be used in DepNode. Not all DepNodeParams support being turned into a Fingerprint (they don’t need to if the corresponding DepNode is anonymous).

default fn to_debug_str(&self, _: Tcx) -> String

default fn recover(_: Tcx, _: &DepNode) -> Option<T>

This method tries to recover the query key from the given DepNode, something which is needed when forcing DepNodes during red-green evaluation. The query system will only call this method if fingerprint_style() is not FingerprintStyle::Opaque. It is always valid to return None here, in which case incremental compilation will treat the query as having changed instead of forcing it.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for Twhere 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<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<'tcx, T> ToPredicate<'tcx, T> for T

fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,

default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> T

Layout§

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.