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
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
[src]
impl<'a, 'tcx> HashStable<StableHashingContext<'a>> for CanonicalTyVarKind
fn hash_stable<W: StableHasherResult>(
&self,
__ctx: &mut StableHashingContext<'a>,
__hasher: &mut StableHasher<W>
)
[src]
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
[src]
impl Copy for CanonicalTyVarKind
impl Clone for CanonicalTyVarKind
[src]
impl Clone for CanonicalTyVarKind
fn clone(&self) -> CanonicalTyVarKind
[src]
fn clone(&self) -> CanonicalTyVarKind
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl Debug for CanonicalTyVarKind
[src]
impl Debug for CanonicalTyVarKind
fn fmt(&self, __arg_0: &mut Formatter) -> Result
[src]
fn fmt(&self, __arg_0: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl PartialEq for CanonicalTyVarKind
[src]
impl PartialEq for CanonicalTyVarKind
fn eq(&self, __arg_0: &CanonicalTyVarKind) -> bool
[src]
fn eq(&self, __arg_0: &CanonicalTyVarKind) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
fn ne(&self, other: &Rhs) -> bool
This method tests for !=
.
impl Eq for CanonicalTyVarKind
[src]
impl Eq for CanonicalTyVarKind
impl Hash for CanonicalTyVarKind
[src]
impl Hash for CanonicalTyVarKind
fn hash<__H: Hasher>(&self, __arg_0: &mut __H)
[src]
fn hash<__H: Hasher>(&self, __arg_0: &mut __H)
Feeds this value into the given [Hasher
]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more
impl Decodable for CanonicalTyVarKind
[src]
impl Decodable for CanonicalTyVarKind
fn decode<__D: Decoder>(
__arg_0: &mut __D
) -> Result<CanonicalTyVarKind, __D::Error>
[src]
fn decode<__D: Decoder>(
__arg_0: &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
[src]
impl Encodable for CanonicalTyVarKind
Auto Trait Implementations
impl Send for CanonicalTyVarKind
impl Send for CanonicalTyVarKind
impl Sync for CanonicalTyVarKind
impl Sync for CanonicalTyVarKind