<main><divclass="width-limiter"><navclass="sub"><formclass="search-form"><span></span><divid="sidebar-button"tabindex="-1"><ahref="../syn/all.html"title="show sidebar"></a></div><inputclass="search-input"name="search"aria-label="Run search in the documentation"autocomplete="off"spellcheck="false"placeholder="Click or press ‘S’ to search, ‘?’ for more options…"type="search"><divid="help-button"tabindex="-1"><ahref="../help.html"title="help">?</a></div><divid="settings-menu"tabindex="-1"><ahref="../settings.html"title="settings"><imgwidth="22"height="22"alt="Change settings"src="../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><sectionid="main-content"class="content"><divclass="main-heading"><h1>Enum <ahref="index.html">syn</a>::<wbr><aclass="enum"href="#">Type</a><buttonid="copy-path"title="Copy item path to clipboard"><imgsrc="../static.files/clipboard-7571035ce49a181d.svg"width="19"height="18"alt="Copy item path"></button></h1><spanclass="out-of-band"><aclass="src"href="../src/syn/ty.rs.html#13-90">source</a> · <buttonid="toggle-all-docs"title="collapse all docs">[<span>−</span>]</button></span></div><preclass="rust item-decl"><code><divclass="code-attribute">#[non_exhaustive]</div>pub enum Type {
</details>}</code></pre><detailsclass="toggle top-doc"open><summaryclass="hideme"><span>Expand description</span></summary><divclass="docblock"><p>The possible types that a Rust value could have.</p>
<p>This type is a <ahref="enum.Expr.html#syntax-tree-enums"title="enum syn::Expr">syntax tree enum</a>.</p>
</div></details><h2id="variants"class="variants section-header">Variants (Non-exhaustive)<ahref="#variants"class="anchor">§</a></h2><detailsclass="toggle non-exhaustive"><summaryclass="hideme"><span>This enum is marked as non-exhaustive</span></summary><divclass="docblock">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.</div></details><divclass="variants"><sectionid="variant.Array"class="variant"><ahref="#variant.Array"class="anchor">§</a><h3class="code-header">Array(<aclass="struct"href="struct.TypeArray.html"title="struct syn::TypeArray">TypeArray</a>)</h3></section><divclass="docblock"><p>A fixed size array type: <code>[T; n]</code>.</p>
</div><sectionid="variant.BareFn"class="variant"><ahref="#variant.BareFn"class="anchor">§</a><h3class="code-header">BareFn(<aclass="struct"href="struct.TypeBareFn.html"title="struct syn::TypeBareFn">TypeBareFn</a>)</h3></section><divclass="docblock"><p>A bare function type: <code>fn(usize) -> bool</code>.</p>
</div><sectionid="variant.Group"class="variant"><ahref="#variant.Group"class="anchor">§</a><h3class="code-header">Group(<aclass="struct"href="struct.TypeGroup.html"title="struct syn::TypeGroup">TypeGroup</a>)</h3></section><divclass="docblock"><p>A type contained within invisible delimiters.</p>
</div><sectionid="variant.ImplTrait"class="variant"><ahref="#variant.ImplTrait"class="anchor">§</a><h3class="code-header">ImplTrait(<aclass="struct"href="struct.TypeImplTrait.html"title="struct syn::TypeImplTrait">TypeImplTrait</a>)</h3></section><divclass="docblock"><p>An <code>impl Bound1 + Bound2 + Bound3</code> type where <code>Bound</code> is a trait or
a lifetime.</p>
</div><sectionid="variant.Infer"class="variant"><ahref="#variant.Infer"class="anchor">§</a><h3class="code-header">Infer(<aclass="struct"href="struct.TypeInfer.html"title="struct syn::TypeInfer">TypeInfer</a>)</h3></section><divclass="docblock"><p>Indication that a type should be inferred by the compiler: <code>_</code>.</p>
</div><sectionid="variant.Macro"class="variant"><ahref="#variant.Macro"class="anchor">§</a><h3class="code-header">Macro(<aclass="struct"href="struct.TypeMacro.html"title="struct syn::TypeMacro">TypeMacro</a>)</h3></section><divclass="docblock"><p>A macro in the type position.</p>
</div><sectionid="variant.Never"class="variant"><ahref="#variant.Never"class="anchor">§</a><h3class="code-header">Never(<aclass="struct"href="struct.TypeNever.html"title="struct syn::TypeNever">TypeNever</a>)</h3></section><divclass="docblock"><p>The never type: <code>!</code>.</p>
</div><sectionid="variant.Paren"class="variant"><ahref="#variant.Paren"class="anchor">§</a><h3class="code-header">Paren(<aclass="struct"href="struct.TypeParen.html"title="struct syn::TypeParen">TypeParen</a>)</h3></section><divclass="docblock"><p>A parenthesized type equivalent to the inner type.</p>
</div><sectionid="variant.Path"class="variant"><ahref="#variant.Path"class="anchor">§</a><h3class="code-header">Path(<aclass="struct"href="struct.TypePath.html"title="struct syn::TypePath">TypePath</a>)</h3></section><divclass="docblock"><p>A path like <code>std::slice::Iter</code>, optionally qualified with a
self-type as in <code><Vec<T> as SomeTrait>::Associated</code>.</p>
</div><sectionid="variant.Ptr"class="variant"><ahref="#variant.Ptr"class="anchor">§</a><h3class="code-header">Ptr(<aclass="struct"href="struct.TypePtr.html"title="struct syn::TypePtr">TypePtr</a>)</h3></section><divclass="docblock"><p>A raw pointer type: <code>*const T</code> or <code>*mut T</code>.</p>
</div><sectionid="variant.Reference"class="variant"><ahref="#variant.Reference"class="anchor">§</a><h3class="code-header">Reference(<aclass="struct"href="struct.TypeReference.html"title="struct syn::TypeReference">TypeReference</a>)</h3></section><divclass="docblock"><p>A reference type: <code>&'a T</code> or <code>&'a mut T</code>.</p>
</div><sectionid="variant.TraitObject"class="variant"><ahref="#variant.TraitObject"class="anchor">§</a><h3class="code-header">TraitObject(<aclass="struct"href="struct.TypeTraitObject.html"title="struct syn::TypeTraitObject">TypeTraitObject</a>)</h3></section><divclass="docblock"><p>A trait object type <code>dyn Bound1 + Bound2 + Bound3</code> where <code>Bound</code> is a
</div><sectionid="variant.Verbatim"class="variant"><ahref="#variant.Verbatim"class="anchor">§</a><h3class="code-header">Verbatim(<aclass="struct"href="../proc_macro2/struct.TokenStream.html"title="struct proc_macro2::TokenStream">TokenStream</a>)</h3></section><divclass="docblock"><p>Tokens in type position not interpreted by Syn.</p>
</div></div><h2id="implementations"class="section-header">Implementations<ahref="#implementations"class="anchor">§</a></h2><divid="implementations-list"><detailsclass="toggle implementors-toggle"open><summary><sectionid="impl-Type"class="impl"><aclass="src rightside"href="../src/syn/ty.rs.html#304-316">source</a><ahref="#impl-Type"class="anchor">§</a><h3class="code-header">impl <aclass="enum"href="enum.Type.html"title="enum syn::Type">Type</a></h3></section></summary><divclass="impl-items"><detailsclass="toggle method-toggle"open><summary><sectionid="method.without_plus"class="method"><aclass="src rightside"href="../src/syn/ty.rs.html#311-315">source</a><h4class="code-header">pub fn <ahref="#method.without_plus"class="fn">without_plus</a>(input: <aclass="type"href="parse/type.ParseStream.html"title="type syn::parse::ParseStream">ParseStream</a><'_>) -><aclass="type"href="parse/type.Result.html"title="type syn::parse::Result">Result</a><Self></h4></section></summary><divclass="docblock"><p>In some positions, types may not contain the <code>+</code> character, to
H: <aclass="trait"href="https://doc.rust-lang.org/1.78.0/core/hash/trait.Hasher.html"title="trait core::hash::Hasher">Hasher</a>,</div></h4></section></summary><divclass='docblock'>Feeds this value into the given <ahref="https://doc.rust-lang.org/1.78.0/core/hash/trait.Hasher.html"title="trait core::hash::Hasher"><code>Hasher</code></a>. <ahref="https://doc.rust-lang.org/1.78.0/core/hash/trait.Hash.html#tymethod.hash">Read more</a></div></details><detailsclass="toggle method-toggle"open><summary><sectionid="method.hash_slice"class="method trait-impl"><spanclass="rightside"><spanclass="since"title="Stable since Rust version 1.3.0">1.3.0</span> · <aclass="src"href="https://doc.rust-lang.org/1.78.0/src/core/hash/mod.rs.html#238-240">source</a></span><ahref="#method.hash_slice"class="anchor">§</a><h4class="code-header">fn <ahref="https://doc.rust-lang.org/1.78.0/core/hash/trait.Hash.html#method.hash_slice"class="fn">hash_slice</a><H>(data: &<aclass="primitive"href="https://doc.rust-lang.org/1.78.0/std/primitive.slice.html">[Self]</a>, state: <aclass="primitive"href="https://doc.rust-lang.org/1.78.0/std/primitive.reference.html">&mut H</a>)<divclass="where">where
Self: <aclass="trait"href="https://doc.rust-lang.org/1.78.0/core/marker/trait.Sized.html"title="trait core::marker::Sized">Sized</a>,</div></h4></section></summary><divclass='docblock'>Feeds a slice of this type into the given <ahref="https://doc.rust-lang.org/1.78.0/core/hash/trait.Hasher.html"title="trait core::hash::Hasher"><code>Hasher</code></a>. <ahref="https://doc.rust-lang.org/1.78.0/core/hash/trait.Hash.html#method.hash_slice">Read more</a></div></details></div></details><detailsclass="toggle implementors-toggle"open><summary><sectionid="impl-Parse-for-Type"class="impl"><aclass="src rightside"href="../src/syn/ty.rs.html#296-302">source</a><ahref="#impl-Parse-for-Type"class="anchor">§</a><h3class="code-header">impl <aclass="trait"href="parse/trait.Parse.html"title="trait syn::parse::Parse">Parse</a> for <aclass="enum"href="enum.Type.html"title="enum syn::Type">Type</a></h3></section></summary><divclass="impl-items"><sectionid="method.parse"class="method trait-impl"><aclass="src rightside"href="../src/syn/ty.rs.html#297-301">source</a><ahref="#method.parse"class="anchor">§</a><h4class="code-header">fn <ahref="parse/trait.Parse.html#tymethod.parse"class="fn">parse</a>(input: <aclass="type"href="parse/type.ParseStream.html"title="type syn::parse::ParseStream">ParseStream</a><'_>) -><aclass="type"href="parse/type.Result.html"title="type syn::parse::Result">Result</a><Self></h4></section></div></details><detailsclass="toggle implementors-toggle"open><summary><sectionid="impl-PartialEq-for-Type"class="impl"><aclass="src rightside"href="../src/syn/gen/eq.rs.html#1863-1892">source</a><ahref="#impl-PartialEq-for-Type"class="anchor">§</a><h3class="code-header">impl <aclass="trait"href="https://doc.rust-lang.org/1.78.0/core/cmp/trait.PartialEq.html"title="trait core::cmp::PartialEq">PartialEq</a> for <aclass="enum"href="enum.Type.html"title="enum syn::Type">Type</a></h3></section></summary><divclass="impl-items"><detailsclass="toggle method-toggle"open><summary><sectionid="method.eq"class="method trait-impl"><aclass="src rightside"href="../src/syn/gen/eq.rs.html#1864-1891">source</a><ahref="#method.eq"class="anchor">§</a><h4class="code-header">fn <ahref="https://doc.rust-lang.org/1.78.0/core/cmp/trait.PartialEq.html#tymethod.eq"class="fn">eq</a>(&self, other: <aclass="primitive"href="https://doc.rust-lang.org/1.78.0/std/primitive.reference.html">&Self</a>) -><aclass="primitive"href="https://doc.rust-lang.org/1.78.0/std/primitive.bool.html">bool</a></h4></section></summary><divclass='docblock'>This method tests for <code>self</code> and <code>other</code> values to be equal, and is used
by <code>==</code>.</div></details><detailsclass="toggle method-toggle"open><summary><sectionid="method.ne"class="method trait-impl"><spanclass="rightside"><spanclass="since"title="Stable since Rust version 1.0.0">1.0.0</span> · <aclass="src"href="https://doc.rust-lang.org/1.78.0/src/core/cmp.rs.html#263">source</a></span><ahref="#method.ne"class="anchor">§</a><h4class="code-header">fn <ahref="https://doc.rust-lang.org/1.78.0/core/cmp/trait.PartialEq.html#method.ne"class="fn">ne</a>(&self, other: <aclass="primitive"href="https://doc.rust-lang.org/1.78.0/std/primitive.reference.html">&Rhs</a>) -><aclass="primitive"href="https://doc.rust-lang.org/1.78.0/std/primitive.bool.html">bool</a></h4></section></summary><divclass='docblock'>This method tests for <code>!=</code>. The default implementation is almost always
sufficient, and should not be overridden without very good reason.</div></details></div></details><detailsclass="toggle implementors-toggle"open><summary><sectionid="impl-ToTokens-for-Type"class="impl"><aclass="src rightside"href="../src/syn/ty.rs.html#13-90">source</a><ahref="#impl-ToTokens-for-Type"class="anchor">§</a><h3class="code-header">impl <aclass="trait"href="../quote/to_tokens/trait.ToTokens.html"title="trait quote::to_tokens::ToTokens">ToTokens</a> for <aclass="enum"href="enum.Type.html"title="enum syn::Type">Type</a></h3></section></summary><divclass="impl-items"><detailsclass="toggle method-toggle"open><summary><sectionid="method.to_tokens"class="method trait-impl"><aclass="src rightside"href="../src/syn/ty.rs.html#13-90">source</a><ahref="#method.to_tokens"class="anchor">§</a><h4class="code-header">fn <ahref="../quote/to_tokens/trait.ToTokens.html#tymethod.to_tokens"class="fn">to_tokens</a>(&self, tokens: &mut <aclass="struct"href="../proc_macro2/struct.TokenStream.html"title="struct proc_macro2::TokenStream">TokenStream</a>)</h4></section></summary><divclass='docblock'>Write <code>self</code> to the given <code>TokenStream</code>. <ahref="../quote/to_tokens/trait.ToTokens.html#tymethod.to_tokens">Read more</a></div></details><detailsclass="toggle method-toggle"open><summary><sectionid="method.to_token_stream"class="method trait-impl"><aclass="src rightside"href="../src/quote/to_tokens.rs.html#59">source</a><ahref="#method.to_token_stream"class="anchor">§</a><h4class="code-header">fn <ahref="../quote/to_tokens/trait.ToTokens.html#method.to_token_stream"class="fn">to_token_stream</a>(&self) -><aclass="struct"href="../proc_macro2/struct.TokenStream.html"title="struct proc_macro2::TokenStream">TokenStream</a></h4></section></summary><divclass='docblock'>Convert <code>self</code> directly into a <code>TokenStream</code> object. <ahref="../quote/to_tokens/trait.ToTokens.html#method.to_token_stream">Read more</a></div></details><detailsclass="toggle method-toggle"open><summary><sectionid="method.into_token_stream"class="method trait-impl"><aclass="src rightside"href="../src/quote/to_tokens.rs.html#69-71">source</a><ahref="#method.into_token_stream"class="anchor">§</a><h4class="code-header">fn <ahref="../quote/to_tokens/trait.ToTokens.html#method.into_token_stream"class="fn">into_token_stream</a>(self) -><aclass="struct"href="../proc_macro2/struct.TokenStream.html"title="struct proc_macro2::TokenStream">TokenStream</a><divclass="where">where
<code><ahref="https://doc.rust-lang.org/1.78.0/core/convert/trait.From.html"title="trait core::convert::From">From</a><T> for U</code> chooses to do.</p>
T: Spanned + ?<aclass="trait"href="https://doc.rust-lang.org/1.78.0/core/marker/trait.Sized.html"title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><divclass="impl-items"><detailsclass="toggle method-toggle"open><summary><sectionid="method.span"class="method trait-impl"><aclass="src rightside"href="../src/syn/spanned.rs.html#105-107">source</a><ahref="#method.span"class="anchor">§</a><h4class="code-header">fn <ahref="spanned/trait.Spanned.html#tymethod.span"class="fn">span</a>(&self) -><aclass="struct"href="../proc_macro2/struct.Span.html"title="struct proc_macro2::Span">Span</a></h4></section></summary><divclass='docblock'>Returns a <code>Span</code> covering the complete contents of this syntax tree
node, or <ahref="../proc_macro2/struct.Span.html#method.call_site"title="associated function proc_macro2::Span::call_site"><code>Span::call_site()</code></a> if this node is empty.</div></details></div></details><detailsclass="toggle implementors-toggle"><summary><sectionid="impl-ToOwned-for-T"class="impl"><aclass="src rightside"href="https://doc.rust-lang.org/1.78.0/src/alloc/borrow.rs.html#83-85">source</a><ahref="#impl-ToOwned-for-T"class="anchor">§</a><h3class="code-header">impl<T><aclass="trait"href="https://doc.rust-lang.org/1.78.0/alloc/borrow/trait.ToOwned.html"title="trait alloc::borrow::ToOwned">ToOwned</a> for T<divclass="where">where
T: <aclass="trait"href="https://doc.rust-lang.org/1.78.0/core/clone/trait.Clone.html"title="trait core::clone::Clone">Clone</a>,</div></h3></section></summary><divclass="impl-items"><detailsclass="toggle"open><summary><sectionid="associatedtype.Owned"class="associatedtype trait-impl"><ahref="#associatedtype.Owned"class="anchor">§</a><h4class="code-header">type <ahref="https://doc.rust-lang.org/1.78.0/alloc/borrow/trait.ToOwned.html#associatedtype.Owned"class="associatedtype">Owned</a> = T</h4></section></summary><divclass='docblock'>The resulting type after obtaining ownership.</div></details><detailsclass="toggle method-toggle"open><summary><sectionid="method.to_owned"class="method trait-impl"><aclass="src rightside"href="https://doc.rust-lang.org/1.78.0/src/alloc/borrow.rs.html#88">source</a><ahref="#method.to_owned"class="anchor">§</a><h4class="code-header">fn <ahref="https://doc.rust-lang.org/1.78.0/alloc/borrow/trait.ToOwned.html#tymethod.to_owned"class="fn">to_owned</a>(&self) -> T</h4></section></summary><divclass='docblock'>Creates owned data from borrowed data, usually by cloning. <ahref="https://doc.rust-lang.org/1.78.0/alloc/borrow/trait.ToOwned.html#tymethod.to_owned">Read more</a></div></details><detailsclass="toggle method-toggle"open><summary><sectionid="method.clone_into"class="method trait-impl"><aclass="src rightside"href="https://doc.rust-lang.org/1.78.0/src/alloc/borrow.rs.html#92">source</a><ahref="#method.clone_into"class="anchor">§</a><h4class="code-header">fn <ahref="https://doc.rust-lang.org/1.78.0/alloc/borrow/trait.ToOwned.html#method.clone_into"class="fn">clone_into</a>(&self, target: <aclass="primitive"href="https://doc.rust-lang.org/1.78.0/std/primitive.reference.html">&mut T</a>)</h4></section></summary><divclass='docblock'>Uses borrowed data to replace owned data, usually by cloning. <ahref="https://doc.rust-lang.org/1.78.0/alloc/borrow/trait.ToOwned.html#method.clone_into">Read more</a></div></details></div></details><detailsclass="toggle implementors-toggle"><summary><sectionid="impl-TryFrom%3CU%3E-for-T"class="impl"><aclass="src rightside"href="https://doc.rust-lang.org/1.78.0/src/core/convert/mod.rs.html#805-807">source</a><ahref="#impl-TryFrom%3CU%3E-for-T"class="anchor">§</a><h3class="code-header">impl<T, U><aclass="trait"href="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryFrom.html"title="trait core::convert::TryFrom">TryFrom</a><U> for T<divclass="where">where
U: <aclass="trait"href="https://doc.rust-lang.org/1.78.0/core/convert/trait.Into.html"title="trait core::convert::Into">Into</a><T>,</div></h3></section></summary><divclass="impl-items"><detailsclass="toggle"open><summary><sectionid="associatedtype.Error-1"class="associatedtype trait-impl"><ahref="#associatedtype.Error-1"class="anchor">§</a><h4class="code-header">type <ahref="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryFrom.html#associatedtype.Error"class="associatedtype">Error</a> = <aclass="enum"href="https://doc.rust-lang.org/1.78.0/core/convert/enum.Infallible.html"title="enum core::convert::Infallible">Infallible</a></h4></section></summary><divclass='docblock'>The type returned in the event of a conversion error.</div></details><detailsclass="toggle method-toggle"open><summary><sectionid="method.try_from"class="method trait-impl"><aclass="src rightside"href="https://doc.rust-lang.org/1.78.0/src/core/convert/mod.rs.html#812">source</a><ahref="#method.try_from"class="anchor">§</a><h4class="code-header">fn <ahref="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryFrom.html#tymethod.try_from"class="fn">try_from</a>(value: U) -><aclass="enum"href="https://doc.rust-lang.org/1.78.0/core/result/enum.Result.html"title="enum core::result::Result">Result</a><T, <T as <aclass="trait"href="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryFrom.html"title="trait core::convert::TryFrom">TryFrom</a><U>>::<aclass="associatedtype"href="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryFrom.html#associatedtype.Error"title="type core::convert::TryFrom::Error">Error</a>></h4></section></summary><divclass='docblock'>Performs the conversion.</div></details></div></details><detailsclass="toggle implementors-toggle"><summary><sectionid="impl-TryInto%3CU%3E-for-T"class="impl"><aclass="src rightside"href="https://doc.rust-lang.org/1.78.0/src/core/convert/mod.rs.html#790-792">source</a><ahref="#impl-TryInto%3CU%3E-for-T"class="anchor">§</a><h3class="code-header">impl<T, U><aclass="trait"href="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryInto.html"title="trait core::convert::TryInto">TryInto</a><U> for T<divclass="where">where
U: <aclass="trait"href="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryFrom.html"title="trait core::convert::TryFrom">TryFrom</a><T>,</div></h3></section></summary><divclass="impl-items"><detailsclass="toggle"open><summary><sectionid="associatedtype.Error"class="associatedtype trait-impl"><ahref="#associatedtype.Error"class="anchor">§</a><h4class="code-header">type <ahref="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryInto.html#associatedtype.Error"class="associatedtype">Error</a> = <U as <aclass="trait"href="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryFrom.html"title="trait core::convert::TryFrom">TryFrom</a><T>>::<aclass="associatedtype"href="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryFrom.html#associatedtype.Error"title="type core::convert::TryFrom::Error">Error</a></h4></section></summary><divclass='docblock'>The type returned in the event of a conversion error.</div></details><detailsclass="toggle method-toggle"open><summary><sectionid="method.try_into"class="method trait-impl"><aclass="src rightside"href="https://doc.rust-lang.org/1.78.0/src/core/convert/mod.rs.html#797">source</a><ahref="#method.try_into"class="anchor">§</a><h4class="code-header">fn <ahref="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryInto.html#tymethod.try_into"class="fn">try_into</a>(self) -><aclass="enum"href="https://doc.rust-lang.org/1.78.0/core/result/enum.Result.html"title="enum core::result::Result">Result</a><U, <U as <aclass="trait"href="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryFrom.html"title="trait core::convert::TryFrom">TryFrom</a><T>>::<aclass="associatedtype"href="https://doc.rust-lang.org/1.78.0/core/convert/trait.TryFrom.html#associatedtype.Error"title="type core::convert::TryFrom::Error">Error</a>></h4></section></summary><divclass='docblock'>Performs the conversion.</div></details></div></details></div></section></div></main></body></html>
