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 moresourceimpl 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
sourcefn eq(&self, other: &TyVariableKind) -> bool
fn eq(&self, other: &TyVariableKind) -> bool
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 Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
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) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: U::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
Cast a value to type
U
using CastTo
.