Enum rustc_infer::infer::canonical::ir::CanonicalTyVarKind

source ·

pub enum CanonicalTyVarKind {
    General(UniverseIndex),
    Int,
    Float,
}

Expand description

Rust actually has more than one category of type variables; notably, the type variables we create for literals (e.g., 22 or 22.) can only be instantiated with integral/float types (e.g., usize or f32). In order to faithfully reproduce a type, we need to know what set of types a given type variable can be unified with.

Variants§

§

General(UniverseIndex)

General type variable ?T that can be unified with arbitrary types.

§

Int

Integral type variable ?I (that can only be unified with integral types).

§

Float

Floating-point type variable ?F (that can only be unified with float types).

Enum rustc_infer::infer::canonical::ir::CanonicalTyVarKindCopy item path

Variants§

General(UniverseIndex)

Int

Float

Trait Implementations§

impl Clone for CanonicalTyVarKind

fn clone(&self) -> CanonicalTyVarKind

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

impl Debug for CanonicalTyVarKind

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

impl<__D> Decodable<__D> for CanonicalTyVarKindwhere __D: TyDecoder,

fn decode(__decoder: &mut __D) -> CanonicalTyVarKind

impl<__E> Encodable<__E> for CanonicalTyVarKindwhere __E: TyEncoder,

fn encode(&self, __encoder: &mut __E)

impl Hash for CanonicalTyVarKind

fn hash<__H>(&self, state: &mut __H)where __H: Hasher,

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

impl<__CTX> HashStable<__CTX> for CanonicalTyVarKind

fn hash_stable( &self, __hcx: &mut __CTX, __hasher: &mut StableHasher<SipHasher128>, )

impl PartialEq for CanonicalTyVarKind

fn eq(&self, other: &CanonicalTyVarKind) -> bool

fn ne(&self, other: &Rhs) -> bool

impl<I> TypeFoldable<I> for CanonicalTyVarKindwhere I: Interner,

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<CanonicalTyVarKind, <__F as FallibleTypeFolder<I>>::Error>where __F: FallibleTypeFolder<I>,

fn fold_with<F>(self, folder: &mut F) -> Selfwhere F: TypeFolder<I>,

impl<I> TypeVisitable<I> for CanonicalTyVarKindwhere I: Interner,

fn visit_with<__V>( &self, __visitor: &mut __V, ) -> <__V as TypeVisitor<I>>::Resultwhere __V: TypeVisitor<I>,

impl Copy for CanonicalTyVarKind

impl Eq for CanonicalTyVarKind

impl StructuralPartialEq for CanonicalTyVarKind

Auto Trait Implementations§

impl Freeze for CanonicalTyVarKind

impl RefUnwindSafe for CanonicalTyVarKind

impl Send for CanonicalTyVarKind

impl Sync for CanonicalTyVarKind

impl Unpin for CanonicalTyVarKind

impl UnwindSafe for CanonicalTyVarKind

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

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

fn type_id(&self) -> TypeId

impl<T> AnyEq for Twhere T: Any + PartialEq,

fn equals(&self, other: &(dyn Any + 'static)) -> bool

fn as_any(&self) -> &(dyn Any + 'static)

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<'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

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

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

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut T)

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,

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

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

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

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> Filterable for T

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

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

fn in_current_span(self) -> Instrumented<Self>

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

Enum rustc_infer::infer::canonical::ir::CanonicalTyVarKind

impl<D> Decodable<D> for CanonicalTyVarKind
where __D: TyDecoder,

fn decode(decoder: &mut D) -> CanonicalTyVarKind

impl<E> Encodable<E> for CanonicalTyVarKind
where __E: TyEncoder,

fn encode(&self, encoder: &mut E)

fn hash<H>(&self, state: &mut H)
where __H: Hasher,

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

impl<CTX> HashStable<CTX> for CanonicalTyVarKind

fn hash_stable( &self, hcx: &mut CTX, __hasher: &mut StableHasher<SipHasher128>, )

impl<I> TypeFoldable<I> for CanonicalTyVarKind
where I: Interner,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<CanonicalTyVarKind, <F as FallibleTypeFolder<I>>::Error>
where __F: FallibleTypeFolder<I>,

fn fold_with<F>(self, folder: &mut F) -> Self
where F: TypeFolder<I>,

impl<I> TypeVisitable<I> for CanonicalTyVarKind
where I: Interner,

fn visit_with<V>( &self, visitor: &mut V, ) -> <V as TypeVisitor<I>>::Result
where __V: TypeVisitor<I>,

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

impl<T> AnyEq for T
where T: Any + PartialEq,

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

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

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

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

impl<T> CloneToUninit for T
where T: Clone,

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

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

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

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

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

impl<'tcx, T> IsSuggestable<'tcx> for T
where T: TypeVisitable<TyCtxt<'tcx>> + TypeFoldable<TyCtxt<'tcx>>,

impl<T> ToOwned for T
where T: Clone,

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

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

impl<I, T> TypeVisitableExt<I> for T
where I: Interner, T: TypeVisitable<I>,

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

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

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<'a, T> Captures<'a> for T
where T: ?Sized,