Enum ra_ap_hir_ty::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
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
Cast a value to type U
using CastTo
.
Compare self to key
and return true
if they are equal.
Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more
impl<T> Any for T where
T: Any,