Enum TyKind 

pub enum TyKind<'tcx> {
    Bool,
    Char,
    Int(IntTy),
    Uint(UintTy),
    Float(FloatTy),
    FnDef(FnDefTy<'tcx>),
    FnPtr(FnPtrTy<'tcx>),
    Closure(ClosureTy<'tcx>),
    Adt(AdtTy<'tcx>),
    Foreign(ForeignTy<'tcx>),
    Array(ArrayTy<'tcx>),
    Pat(PatTy<'tcx>),
    Slice(SliceTy<'tcx>),
    Tuple(TupleTy<'tcx>),
    Str(StrTy<'tcx>),
    RawPtr(RawPtrTy<'tcx>),
    Ref(RefTy<'tcx>),
    DynTrait(DynTraitTy<'tcx>),
    Coroutine(CoroutineTy<'tcx>),
    Never,
    Alias(Alias<'tcx>),
    Param(ParamTy),
    Bound(BoundTyRef),
    Placeholder(PlaceholderTy),
    Infer(InferTy),
    Error,
    Todo(String),
}

Reflects [ty::TyKind]

Variants

Bool

Char

Int(IntTy)

Uint(UintTy)

Float(FloatTy)

FnDef(FnDefTy<'tcx>)

FnPtr(FnPtrTy<'tcx>)

Closure(ClosureTy<'tcx>)

Adt(AdtTy<'tcx>)

Foreign(ForeignTy<'tcx>)

Array(ArrayTy<'tcx>)

Pat(PatTy<'tcx>)

Slice(SliceTy<'tcx>)

Tuple(TupleTy<'tcx>)

Str(StrTy<'tcx>)

RawPtr(RawPtrTy<'tcx>)

Ref(RefTy<'tcx>)

DynTrait(DynTraitTy<'tcx>)

Coroutine(CoroutineTy<'tcx>)

Never

Alias(Alias<'tcx>)

Param(ParamTy)

Bound(BoundTyRef)

Placeholder(PlaceholderTy)

Infer(InferTy)

Error

Todo(String)

Trait Implementations

impl<'tcx> Clone for TyKind<'tcx>

fn clone(&self) -> TyKind<'tcx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for TyKind<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Eq for TyKind<'tcx>

impl<'tcx> Hash for TyKind<'tcx>

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<'tcx> PartialEq for TyKind<'tcx>

fn eq(&self, other: &TyKind<'tcx>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TyKind<'tcx>> for TyKind<'tcx>

fn sinto(&self, s: &S) -> TyKind<'tcx>

impl<'tcx> StructuralPartialEq for TyKind<'tcx>