# syn::Ty - Rust
API documentation for the Rust `Ty` enum in crate `syn`.
Keywords: rust, rustlang, rust-lang, Ty

# [−] [src] 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` [src]

#### `fn clone(&self) -> Ty` [src]

Returns a copy of the value. Read more

#### `pub fn clone_from(&mut self, source: &Self)`1.0.0 [src]

Performs copy-assignment from `source`. Read more

### `impl Debug for Ty` [src]

#### `fn fmt(&self, f: &mut Formatter<'_>) -> Result` [src]

Formats the value using the given formatter. Read more

### `impl Eq for Ty` [src]

### `impl Hash for Ty` [src]

#### `fn hash<__H: Hasher>(&self, state: &mut __H)` [src]

Feeds this value into the given `Hasher`. Read more

#### `pub fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,` 1.3.0 [src]

Feeds a slice of this type into the given `Hasher`. Read more

### `impl PartialEq<Ty> for Ty` [src]

#### `fn eq(&self, other: &Ty) -> bool` [src]

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

#### `fn ne(&self, other: &Ty) -> bool` [src]

This method tests for `!=`.

### `impl StructuralEq for Ty` [src]

### `impl StructuralPartialEq for Ty` [src]

### `impl ToTokens for Ty` [src]

#### `fn to_tokens(&self, tokens: &mut Tokens)` [src]

Write `self` to the given `Tokens`. Read more

## Auto Trait Implementations

### `impl RefUnwindSafe for Ty` [src]

### `impl Send for Ty` [src]

### `impl Sync for Ty` [src]

### `impl Unpin for Ty` [src]

### `impl UnwindSafe for Ty` [src]

## Blanket Implementations

### `impl<T> Any for T where
T: 'static + ?Sized,` [src]

#### `pub fn type_id(&self) -> TypeId` [src]

Gets the `TypeId` of `self`. Read more

### `impl<T> Borrow<T> for T where
T: ?Sized,` [src]

#### `pub fn borrow(&self) -> &T` [src]

Immutably borrows from an owned value. Read more

### `impl<T> BorrowMut<T> for T where
T: ?Sized,` [src]

#### `pub fn borrow_mut(&mut self) -> &mut T` [src]

Mutably borrows from an owned value. Read more

### `impl<T> From<T> for T` [src]

#### `pub fn from(t: T) -> T` [src]

Performs the conversion.

### `impl<T, U> Into<U> for T where
U: From<T>,` [src]

#### `pub fn into(self) -> U` [src]

Performs the conversion.

### `impl<T> ToOwned for T where
T: Clone,` [src]

#### `type Owned = T`

The resulting type after obtaining ownership.

#### `pub fn to_owned(&self) -> T` [src]

Creates owned data from borrowed data, usually by cloning. Read more

#### `pub fn clone_into(&self, target: &mut T)` [src]

🔬 This is a nightly-only experimental API. (`toowned_clone_into`)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

### `impl<T, U> TryFrom<U> for T where
U: Into<T>,` [src]

#### `type Error = Infallible`

The type returned in the event of a conversion error.

#### `pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>` [src]

Performs the conversion.

### `impl<T, U> TryInto<U> for T where
U: TryFrom<T>,` [src]

#### `type Error = <U as TryFrom<T>>::Error`

The type returned in the event of a conversion error.

#### `pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>` [src]

Performs the conversion.