Enum chalk_ir::TyVariableKind

pub enum TyVariableKind {
    General,
    Integer,
    Float,
}

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

impl Clone for TyVariableKind

fn clone(&self) -> TyVariableKind

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TyVariableKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for TyVariableKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<TyVariableKind> for TyVariableKind

fn eq(&self, other: &TyVariableKind) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for TyVariableKind

impl Eq for TyVariableKind

impl StructuralEq for TyVariableKind

impl StructuralPartialEq for TyVariableKind