Enum rustc_typeck::middle::ty::InferTyUnstable [-] [+] [src]

pub enum InferTy {
    TyVar(TyVid),
    IntVar(IntVid),
    FloatVar(FloatVid),
    FreshTy(u32),
    FreshIntTy(u32),
}

Variants

TyVar
IntVar
FloatVar
FreshTy

A FreshTy is one that is generated as a replacement for an unbound type variable. This is convenient for caching etc. See middle::infer::freshen for more details.

FreshIntTy

Trait Implementations

impl Debug for InferTy

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

Derived Implementations

impl Hash for InferTy

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

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

impl Eq for InferTy

impl PartialEq<InferTy> for InferTy

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

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

impl Copy for InferTy

impl Clone for InferTy

fn clone(&self) -> InferTy

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