Enum rustc_middle::infer::canonical::CanonicalTyVarKind[−][src]

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.

Tuple Fields of General

0: UniverseIndex

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_middle::infer::canonical::CanonicalTyVarKind[−][src]

Variants

Tuple Fields of General

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

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for CanonicalTyVarKind

fn decode(__decoder: &mut __D) -> Result<Self, <__D as Decoder>::Error>

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for CanonicalTyVarKind

fn encode(&self, __encoder: &mut __E) -> Result<(), <__E as Encoder>::Error>

impl Hash for CanonicalTyVarKind

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

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

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for CanonicalTyVarKind

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher)

impl PartialEq<CanonicalTyVarKind> for CanonicalTyVarKind

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

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

impl Copy for CanonicalTyVarKind

impl Eq for CanonicalTyVarKind

impl StructuralEq for CanonicalTyVarKind

impl StructuralPartialEq for CanonicalTyVarKind

Auto Trait Implementations

impl RefUnwindSafe for CanonicalTyVarKind

impl Send for CanonicalTyVarKind

impl Sync for CanonicalTyVarKind

impl Unpin for CanonicalTyVarKind

impl UnwindSafe for CanonicalTyVarKind

Blanket Implementations

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

pub fn type_id(&self) -> TypeId

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

pub fn allocate_on(Self, &'a Arena<'tcx>) -> &'a mut T

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

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

pub fn borrow(&self) -> &T

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

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

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

pub default fn fingerprint_style() -> FingerprintStyle

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

pub default fn to_debug_str(&self, Ctxt) -> String

pub default fn recover( Ctxt, &DepNode<<Ctxt as DepContext>::DepKind>) -> Option<T>

impl<T> From<T> for T

pub fn from(t: T) -> T

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

pub fn into(self) -> U

impl<T> MaybeResult<T> for T

type Error = !

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

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

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

type Owned = T

pub fn to_owned(&self) -> T

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

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

type Error = Infallible

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

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

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

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

impl<T> WithConstness for T

fn with_constness(self, constness: BoundConstness) -> ConstnessAnd<Self>

fn with_const_if_const(self) -> ConstnessAnd<Self>

fn without_const(self) -> ConstnessAnd<Self>

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

Layout

impl<'tcx, D: TyDecoder<'tcx>> Decodable<D> for CanonicalTyVarKind

fn decode(decoder: &mut D) -> Result<Self, <__D as Decoder>::Error>

impl<'tcx, E: TyEncoder<'tcx>> Encodable<E> for CanonicalTyVarKind

fn encode(&self, encoder: &mut E) -> Result<(), <__E as Encoder>::Error>

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

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

impl<'ctx> HashStable<StableHashingContext<'ctx>> for CanonicalTyVarKind

fn hash_stable(
&self,
hcx: &mut StableHashingContext<'ctx>,
__hasher: &mut StableHasher
)

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

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

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

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

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

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

pub default fn recover(
Ctxt,
&DepNode<<Ctxt as DepContext>::DepKind>
) -> Option<T>

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

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<'a, T> Captures<'a> for T where
T: ?Sized,