Enum syn::Ty

pub enum Ty {
    Slice(Box<Ty>),
    Array(Box<Ty>, ConstExpr),
    Ptr(Box<MutTy>),
    Rptr(Option<Lifetime>, Box<MutTy>),
    BareFn(Box<BareFnTy>),
    Never,
    Tup(Vec<Ty>),
    Path(Option<QSelf>, Path),
    TraitObject(Vec<TyParamBound>),
    ImplTrait(Vec<TyParamBound>),
    Paren(Box<Ty>),
    Infer,
    Mac(Mac),
}

The different kinds of types recognized by the compiler

Variants

Slice(Box<Ty>)

A variable-length array ([T])

Array(Box<Ty>, ConstExpr)

A fixed length array ([T; n])

Ptr(Box<MutTy>)

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

Rptr(Option<Lifetime>, Box<MutTy>)

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

BareFn(Box<BareFnTy>)

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

Never

The never type (!)

Tup(Vec<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(Vec<TyParamBound>)

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

ImplTrait(Vec<TyParamBound>)

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

Paren(Box<Ty>)

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

Infer

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

Mac(Mac)

A macro in the type position.

Trait Implementations

impl Clone for Ty

fn clone(&self) -> Ty

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for Ty

impl PartialEq<Ty> for Ty

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

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

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

This method tests for !=.

impl Debug for Ty

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

Formats the value using the given formatter.

impl Hash for Ty

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 StructuralPartialEq for Ty

impl StructuralEq for Ty

impl ToTokens for Ty

fn to_tokens(&self, tokens: &mut Tokens)

Write self to the given Tokens.