Enum rustc::infer::canonical::CanonicalTyVarKind[][src]

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

🔬 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.

🔬 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).

🔬 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
[src]

🔬 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
[src]

impl Clone for CanonicalTyVarKind
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl Debug for CanonicalTyVarKind
[src]

Formats the value using the given formatter. Read more

impl PartialEq for CanonicalTyVarKind
[src]

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

This method tests for !=.

impl Eq for CanonicalTyVarKind
[src]

impl Hash for CanonicalTyVarKind
[src]

Feeds this value into the given [Hasher]. Read more

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

impl Decodable for CanonicalTyVarKind
[src]

🔬 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
[src]

🔬 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?

Auto Trait Implementations

impl Send for CanonicalTyVarKind

impl Sync for CanonicalTyVarKind