Enum syntex_syntax2::ast::TyKind

pub enum TyKind {
    Slice(P<Ty>),
    Array(P<Ty>, P<Expr>),
    Ptr(MutTy),
    Rptr(Option<Lifetime>, MutTy),
    BareFn(P<BareFnTy>),
    Never,
    Tup(Vec<P<Ty>>),
    Path(Option<QSelf>, Path),
    TraitObject(TyParamBounds),
    ImplTrait(TyParamBounds),
    Paren(P<Ty>),
    Typeof(P<Expr>),
    Infer,
    ImplicitSelf,
    Mac(Mac),
    Err,
}

The different kinds of types recognized by the compiler

Variants

Slice(P<Ty>)

A variable-length slice ([T])

Array(P<Ty>, P<Expr>)

A fixed length array ([T; n])

Ptr(MutTy)

A raw pointer (*const T or *mut T)

Rptr(Option<Lifetime>, MutTy)

A reference (&'a T or &'a mut T)

BareFn(P<BareFnTy>)

A bare function (e.g. fn(usize) -> bool)

Never

The never type (!)

Tup(Vec<P<Ty>>)

A tuple ((A, B, C, D,...))

Path(Option<QSelf>, Path)

A path (module::module::...::Type), optionally "qualified", e.g. <Vec<T> as SomeTrait>::SomeType.

Type parameters are stored in the Path itself

TraitObject(TyParamBounds)

A trait object type Bound1 + Bound2 + Bound3 where Bound is a trait or a lifetime.

ImplTrait(TyParamBounds)

An impl Bound1 + Bound2 + Bound3 type where Bound is a trait or a lifetime.

Paren(P<Ty>)

No-op; kept solely so that we can pretty-print faithfully

Typeof(P<Expr>)

Unused for now

Infer

TyKind::Infer means the type should be inferred instead of it having been specified. This can appear anywhere in a type.

ImplicitSelf

Inferred type of a self or &self argument in a method.

Mac(Mac)Err

Placeholder for a kind that has failed to be defined.

Trait Implementations

impl Clone for TyKind

fn clone(&self) -> TyKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for TyKind

impl PartialEq<TyKind> for TyKind

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

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

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

This method tests for !=.

impl Hash for TyKind

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 Debug for TyKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TyKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Serialize for TyKind

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.