Enum rustc::infer::canonical::CanonicalTyVarKind

pub enum CanonicalTyVarKind {
    General,
    Int,
    Float,
}

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

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

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

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

Int

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

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

Float

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

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

Trait Implementations

impl<'a, 'tcx> HashStable<StableHashingContext<'a>> for CanonicalTyVarKind

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

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl Copy for CanonicalTyVarKind

impl Clone for CanonicalTyVarKind

fn clone(&self) -> CanonicalTyVarKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CanonicalTyVarKind

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl PartialEq for CanonicalTyVarKind

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Eq for CanonicalTyVarKind

fn assert_receiver_is_total_eq(&self)

impl Hash for CanonicalTyVarKind

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

Feeds this value into the given [Hasher].

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

Feeds a slice of this type into the given [Hasher].

impl Decodable for CanonicalTyVarKind

fn decode<__D: Decoder>(d: &mut __D) -> Result<CanonicalTyVarKind, __D::Error>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl Encodable for CanonicalTyVarKind

fn encode<__S: Encoder>(&self, s: &mut __S) -> Result<(), __S::Error>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?