Enum chalk_ir::TyVariableKind [−][src]
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
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
Mutably borrows from an owned value. Read more
Cast a value to type U
using CastTo
.