Enum chalk_ir::TyVariableKind
source · [−]pub enum TyVariableKind {
General,
Integer,
Float,
}
Expand description
Represents some extra knowledge we may have about the type variable.
ⓘ
let x: &[u32];
let i = 1;
x[i]
In this example, i
is known to be some type of integer. We can infer that
it is usize
because that is the only integer type that slices have an
Index
impl for. i
would have a TyVariableKind
of Integer
to guide the
inference process.
Variants
General
Integer
Float
Trait Implementations
sourceimpl Clone for TyVariableKind
impl Clone for TyVariableKind
sourcefn clone(&self) -> TyVariableKind
fn clone(&self) -> TyVariableKind
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for TyVariableKind
impl Debug for TyVariableKind
sourceimpl Hash for TyVariableKind
impl Hash for TyVariableKind
sourceimpl PartialEq<TyVariableKind> for TyVariableKind
impl PartialEq<TyVariableKind> for TyVariableKind
impl Copy for TyVariableKind
impl Eq for TyVariableKind
impl StructuralEq for TyVariableKind
impl StructuralPartialEq for TyVariableKind
Auto Trait Implementations
impl RefUnwindSafe for TyVariableKind
impl Send for TyVariableKind
impl Sync for TyVariableKind
impl Unpin for TyVariableKind
impl UnwindSafe for TyVariableKind
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Cast for T
impl<T> Cast for T
sourcefn cast<U>(self, interner: U::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: U::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
Cast a value to type U
using CastTo
.