Enum ra_ap_hir_ty::InferTy

pub enum InferTy {
    TypeVar(TypeVarId),
    IntVar(TypeVarId),
    FloatVar(TypeVarId),
    MaybeNeverTypeVar(TypeVarId),
}

The kinds of placeholders we need during type inference. There's separate values for general types, and for integer and float variables. The latter two are used for inference of literal values (e.g. 100 could be one of several integer types).

Variants

TypeVar(TypeVarId)

IntVar(TypeVarId)

FloatVar(TypeVarId)

MaybeNeverTypeVar(TypeVarId)

Trait Implementations

impl Clone for InferTy

fn clone(&self) -> InferTy

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for InferTy

impl Debug for InferTy

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

Formats the value using the given formatter.

impl Eq for InferTy

impl Hash for InferTy

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, 

Feeds a slice of this type into the given [Hasher].

impl PartialEq<InferTy> for InferTy

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

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

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

This method tests for !=.

impl StructuralEq for InferTy

impl StructuralPartialEq for InferTy