Enum Type

#[non_exhaustive]
pub enum Type {
    Array(TypeArray),
    BareFn(TypeBareFn),
    Group(TypeGroup),
    ImplTrait(TypeImplTrait),
    Infer(TypeInfer),
    Macro(TypeMacro),
    Never(TypeNever),
    Paren(TypeParen),
    Path(TypePath),
    Ptr(TypePtr),
    Reference(TypeReference),
    Slice(TypeSlice),
    TraitObject(TypeTraitObject),
    Tuple(TypeTuple),
    Verbatim(TokenStream),
}

Available on crate features full or derive only.

The possible types that a Rust value could have.

Syntax tree enum

This type is a syntax tree enum.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Array(TypeArray)

A fixed size array type: [T; n].

BareFn(TypeBareFn)

A bare function type: fn(usize) -> bool.

Group(TypeGroup)

A type contained within invisible delimiters.

ImplTrait(TypeImplTrait)

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

Infer(TypeInfer)

Indication that a type should be inferred by the compiler: _.

Macro(TypeMacro)

A macro in the type position.

Never(TypeNever)

The never type: !.

Paren(TypeParen)

A parenthesized type equivalent to the inner type.

Path(TypePath)

A path like std::slice::Iter, optionally qualified with a self-type as in <Vec<T> as SomeTrait>::Associated.

Ptr(TypePtr)

A raw pointer type: *const T or *mut T.

Reference(TypeReference)

A reference type: &'a T or &'a mut T.

Slice(TypeSlice)

A dynamically sized slice type: [T].

TraitObject(TypeTraitObject)

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

Tuple(TypeTuple)

A tuple type: (A, B, C, String).

Verbatim(TokenStream)

Tokens in type position not interpreted by Syn.

Implementations

impl Type

pub fn without_plus(input: ParseStream<'_>) -> Result<Self>

Available on crate feature parsing only.

In some positions, types may not contain the + character, to disambiguate them. For example in the expression 1 as T, T may not contain a + character.

This parser does not allow a +, while the default parser does.

Trait Implementations

impl Clone for Type

Available on crate feature clone-impls only.

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

Available on crate feature extra-traits only.

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

Formats the value using the given formatter.

impl From<TypeArray> for Type

fn from(e: TypeArray) -> Type

Converts to this type from the input type.

impl From<TypeBareFn> for Type

fn from(e: TypeBareFn) -> Type

Converts to this type from the input type.

impl From<TypeGroup> for Type

fn from(e: TypeGroup) -> Type

Converts to this type from the input type.

impl From<TypeImplTrait> for Type

fn from(e: TypeImplTrait) -> Type

Converts to this type from the input type.

impl From<TypeInfer> for Type

fn from(e: TypeInfer) -> Type

Converts to this type from the input type.

impl From<TypeMacro> for Type

fn from(e: TypeMacro) -> Type

Converts to this type from the input type.

impl From<TypeNever> for Type

fn from(e: TypeNever) -> Type

Converts to this type from the input type.

impl From<TypeParen> for Type

fn from(e: TypeParen) -> Type

Converts to this type from the input type.

impl From<TypePath> for Type

fn from(e: TypePath) -> Type

Converts to this type from the input type.

impl From<TypePtr> for Type

fn from(e: TypePtr) -> Type

Converts to this type from the input type.

impl From<TypeReference> for Type

fn from(e: TypeReference) -> Type

Converts to this type from the input type.

impl From<TypeSlice> for Type

fn from(e: TypeSlice) -> Type

Converts to this type from the input type.

impl From<TypeTraitObject> for Type

fn from(e: TypeTraitObject) -> Type

Converts to this type from the input type.

impl From<TypeTuple> for Type

fn from(e: TypeTuple) -> Type

Converts to this type from the input type.

impl Hash for Type

Available on crate feature extra-traits only.

fn hash<H>(&self, state: &mut H)

where H: Hasher,

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 Parse for Type

Available on crate feature parsing only.

fn parse(input: ParseStream<'_>) -> Result<Self>

impl PartialEq for Type

Available on crate feature extra-traits only.

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ToTokens for Type

Available on crate feature printing only.

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

Write self to the given TokenStream.

fn to_token_stream(&self) -> TokenStream

Convert self directly into a TokenStream object.

fn into_token_stream(self) -> TokenStream

where Self: Sized,

Convert self directly into a TokenStream object.

impl Eq for Type

Available on crate feature extra-traits only.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 224 bytes

Size for each variant:

• Array: 208 bytes
• BareFn: 224 bytes
• Group: 24 bytes
• ImplTrait: 48 bytes
• Infer: 12 bytes
• Macro: 112 bytes
• Never: 12 bytes
• Paren: 32 bytes
• Path: 88 bytes
• Ptr: 40 bytes
• Reference: 64 bytes
• Slice: 32 bytes
• TraitObject: 48 bytes
• Tuple: 56 bytes
• Verbatim: 40 bytes