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§
Trait Implementations§
source§impl Clone for TyVariableKind
impl Clone for TyVariableKind
source§fn clone(&self) -> TyVariableKind
fn clone(&self) -> TyVariableKind
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for TyVariableKind
impl Debug for TyVariableKind
source§impl Hash for TyVariableKind
impl Hash for TyVariableKind
source§impl PartialEq<TyVariableKind> for TyVariableKind
impl PartialEq<TyVariableKind> for TyVariableKind
source§fn eq(&self, other: &TyVariableKind) -> bool
fn eq(&self, other: &TyVariableKind) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.