| <!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="This is a builder for `Ty` or anything that needs a `Substitution`."><title>TyBuilder in hir_ty - Rust</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-6b053e98.ttf.woff2,FiraSans-Italic-81dc35de.woff2,FiraSans-Regular-0fe48ade.woff2,FiraSans-MediumItalic-ccf7e434.woff2,FiraSans-Medium-e1aa3f0a.woff2,SourceCodePro-Regular-8badfe75.ttf.woff2,SourceCodePro-Semibold-aa29a496.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/${f}">`).join(""))</script><link rel="stylesheet" href="../static.files/normalize-9960930a.css"><link rel="stylesheet" href="../static.files/rustdoc-84e720fa.css"><meta name="rustdoc-vars" data-root-path="../" data-static-root-path="../static.files/" data-current-crate="hir_ty" data-themes="" data-resource-suffix="" data-rustdoc-version="1.89.0 (29483883e 2025-08-04)" data-channel="1.89.0" data-search-js="search-92309212.js" data-settings-js="settings-5514c975.js" ><script src="../static.files/storage-4e99c027.js"></script><script defer src="sidebar-items.js"></script><script defer src="../static.files/main-fd3af306.js"></script><noscript><link rel="stylesheet" href="../static.files/noscript-32bb7600.css"></noscript><link rel="alternate icon" type="image/png" href="../static.files/favicon-32x32-6580c154.png"><link rel="icon" type="image/svg+xml" href="../static.files/favicon-044be391.svg"></head><body class="rustdoc struct"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../hir_ty/index.html">hir_ty</a><span class="version">0.0.0</span></h2></div><div class="sidebar-elems"><section id="rustdoc-toc"><h2 class="location"><a href="#">TyBuilder</a></h2><h3><a href="#implementations">Methods</a></h3><ul class="block method"><li><a href="#method.adt" title="adt">adt</a></li><li><a href="#method.assoc_type_projection" title="assoc_type_projection">assoc_type_projection</a></li><li><a href="#method.bool" title="bool">bool</a></li><li><a href="#method.build" title="build">build</a></li><li><a href="#method.build-1" title="build">build</a></li><li><a href="#method.build-2" title="build">build</a></li><li><a href="#method.build-3" title="build">build</a></li><li><a href="#method.build-4" title="build">build</a></li><li><a href="#method.build-5" title="build">build</a></li><li><a href="#method.build_into_subst" title="build_into_subst">build_into_subst</a></li><li><a href="#method.builtin" title="builtin">builtin</a></li><li><a href="#method.def_ty" title="def_ty">def_ty</a></li><li><a href="#method.discr_ty" title="discr_ty">discr_ty</a></li><li><a href="#method.fill" title="fill">fill</a></li><li><a href="#method.fill_with_bound_vars" title="fill_with_bound_vars">fill_with_bound_vars</a></li><li><a href="#method.fill_with_defaults" title="fill_with_defaults">fill_with_defaults</a></li><li><a href="#method.fill_with_unknown" title="fill_with_unknown">fill_with_unknown</a></li><li><a href="#method.fn_ptr" title="fn_ptr">fn_ptr</a></li><li><a href="#method.impl_self_ty" title="impl_self_ty">impl_self_ty</a></li><li><a href="#method.placeholder_subst" title="placeholder_subst">placeholder_subst</a></li><li><a href="#method.push" title="push">push</a></li><li><a href="#method.remaining" title="remaining">remaining</a></li><li><a href="#method.slice" title="slice">slice</a></li><li><a href="#method.subst_for_def" title="subst_for_def">subst_for_def</a></li><li><a href="#method.trait_ref" title="trait_ref">trait_ref</a></li><li><a href="#method.tuple" title="tuple">tuple</a></li><li><a href="#method.tuple_with" title="tuple_with">tuple_with</a></li><li><a href="#method.unit" title="unit">unit</a></li><li><a href="#method.unknown_subst" title="unknown_subst">unknown_subst</a></li><li><a href="#method.usize" title="usize">usize</a></li></ul><h3><a href="#synthetic-implementations">Auto Trait Implementations</a></h3><ul class="block synthetic-implementation"><li><a href="#impl-RefUnwindSafe-for-TyBuilder%3CD%3E" title="!RefUnwindSafe">!RefUnwindSafe</a></li><li><a href="#impl-UnwindSafe-for-TyBuilder%3CD%3E" title="!UnwindSafe">!UnwindSafe</a></li><li><a href="#impl-Freeze-for-TyBuilder%3CD%3E" title="Freeze">Freeze</a></li><li><a href="#impl-Send-for-TyBuilder%3CD%3E" title="Send">Send</a></li><li><a href="#impl-Sync-for-TyBuilder%3CD%3E" title="Sync">Sync</a></li><li><a href="#impl-Unpin-for-TyBuilder%3CD%3E" title="Unpin">Unpin</a></li></ul><h3><a href="#blanket-implementations">Blanket Implementations</a></h3><ul class="block blanket-implementation"><li><a href="#impl-Any-for-T" title="Any">Any</a></li><li><a href="#impl-Borrow%3CT%3E-for-T" title="Borrow<T>">Borrow<T></a></li><li><a href="#impl-BorrowMut%3CT%3E-for-T" title="BorrowMut<T>">BorrowMut<T></a></li><li><a href="#impl-Captures%3C'a%3E-for-T" title="Captures<'a>">Captures<'a></a></li><li><a href="#impl-Cast-for-T" title="Cast">Cast</a></li><li><a href="#impl-CollectAndApply%3CT,+R%3E-for-T" title="CollectAndApply<T, R>">CollectAndApply<T, R></a></li><li><a href="#impl-From%3CT%3E-for-T" title="From<T>">From<T></a></li><li><a href="#impl-Instrument-for-T" title="Instrument">Instrument</a></li><li><a href="#impl-Into%3CU%3E-for-T" title="Into<U>">Into<U></a></li><li><a href="#impl-IntoBox%3Cdyn+Any+%2B+Send%3E-for-T" title="IntoBox<dyn Any + Send>">IntoBox<dyn Any + Send></a></li><li><a href="#impl-IntoBox%3Cdyn+Any+%2B+Send+%2B+Sync%3E-for-T" title="IntoBox<dyn Any + Sync + Send>">IntoBox<dyn Any + Sync + Send></a></li><li><a href="#impl-IntoBox%3Cdyn+Any%3E-for-T" title="IntoBox<dyn Any>">IntoBox<dyn Any></a></li><li><a href="#impl-IntoEither-for-T" title="IntoEither">IntoEither</a></li><li><a href="#impl-Pointable-for-T" title="Pointable">Pointable</a></li><li><a href="#impl-TryFrom%3CU%3E-for-T" title="TryFrom<U>">TryFrom<U></a></li><li><a href="#impl-TryInto%3CU%3E-for-T" title="TryInto<U>">TryInto<U></a></li><li><a href="#impl-Upcast%3CI,+U%3E-for-T" title="Upcast<I, U>">Upcast<I, U></a></li><li><a href="#impl-UpcastFrom%3CI,+T%3E-for-T" title="UpcastFrom<I, T>">UpcastFrom<I, T></a></li><li><a href="#impl-WithSubscriber-for-T" title="WithSubscriber">WithSubscriber</a></li></ul></section><div id="rustdoc-modnav"><h2 class="in-crate"><a href="index.html">In crate hir_<wbr>ty</a></h2></div></div></nav><div class="sidebar-resizer" title="Drag to resize sidebar"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><div class="rustdoc-breadcrumbs"><a href="index.html">hir_ty</a></div><h1>Struct <span class="struct">TyBuilder</span><button id="copy-path" title="Copy item path to clipboard">Copy item path</button></h1><rustdoc-toolbar></rustdoc-toolbar><span class="sub-heading"><a class="src" href="../src/hir_ty/builder.rs.html#33-40">Source</a> </span></div><pre class="rust item-decl"><code>pub struct TyBuilder<D> { <span class="comment">/* private fields */</span> }</code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>This is a builder for <code>Ty</code> or anything that needs a <code>Substitution</code>.</p> |
| </div></details><h2 id="implementations" class="section-header">Implementations<a href="#implementations" class="anchor">§</a></h2><div id="implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-TyBuilder%3CD%3E" class="impl"><a class="src rightside" href="../src/hir_ty/builder.rs.html#53-171">Source</a><a href="#impl-TyBuilder%3CD%3E" class="anchor">§</a><h3 class="code-header">impl<D> <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><D></h3></section></summary><div class="impl-items"><section id="method.build_into_subst" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#86-88">Source</a><h4 class="code-header">pub fn <a href="#method.build_into_subst" class="fn">build_into_subst</a>(self) -> <a class="type" href="type.Substitution.html" title="type hir_ty::Substitution">Substitution</a></h4></section><section id="method.push" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#90-108">Source</a><h4 class="code-header">pub fn <a href="#method.push" class="fn">push</a>(self, arg: impl CastTo<<a class="type" href="type.GenericArg.html" title="type hir_ty::GenericArg">GenericArg</a>>) -> Self</h4></section><section id="method.remaining" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#110-112">Source</a><h4 class="code-header">pub fn <a href="#method.remaining" class="fn">remaining</a>(&self) -> <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.usize.html">usize</a></h4></section><section id="method.fill_with_bound_vars" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#114-130">Source</a><h4 class="code-header">pub fn <a href="#method.fill_with_bound_vars" class="fn">fill_with_bound_vars</a>( |
| self, |
| debruijn: <a class="struct" href="struct.DebruijnIndex.html" title="struct hir_ty::DebruijnIndex">DebruijnIndex</a>, |
| starting_from: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.usize.html">usize</a>, |
| ) -> Self</h4></section><section id="method.fill_with_unknown" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#132-143">Source</a><h4 class="code-header">pub fn <a href="#method.fill_with_unknown" class="fn">fill_with_unknown</a>(self) -> Self</h4></section><section id="method.fill" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#157-161">Source</a><h4 class="code-header">pub fn <a href="#method.fill" class="fn">fill</a>(self, filler: impl <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/ops/function/trait.FnMut.html" title="trait core::ops::function::FnMut">FnMut</a>(&<a class="enum" href="enum.ParamKind.html" title="enum hir_ty::ParamKind">ParamKind</a>) -> <a class="type" href="type.GenericArg.html" title="type hir_ty::GenericArg">GenericArg</a>) -> Self</h4></section></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-TyBuilder%3C()%3E" class="impl"><a class="src rightside" href="../src/hir_ty/builder.rs.html#173-258">Source</a><a href="#impl-TyBuilder%3C()%3E" class="anchor">§</a><h3 class="code-header">impl <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><<a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.unit.html">()</a>></h3></section></summary><div class="impl-items"><section id="method.unit" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#174-176">Source</a><h4 class="code-header">pub fn <a href="#method.unit" class="fn">unit</a>() -> <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a></h4></section><section id="method.discr_ty" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#179-181">Source</a><h4 class="code-header">pub fn <a href="#method.discr_ty" class="fn">discr_ty</a>() -> <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a></h4></section><section id="method.bool" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#183-185">Source</a><h4 class="code-header">pub fn <a href="#method.bool" class="fn">bool</a>() -> <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a></h4></section><section id="method.usize" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#187-189">Source</a><h4 class="code-header">pub fn <a href="#method.usize" class="fn">usize</a>() -> <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a></h4></section><section id="method.fn_ptr" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#191-193">Source</a><h4 class="code-header">pub fn <a href="#method.fn_ptr" class="fn">fn_ptr</a>(sig: <a class="struct" href="struct.CallableSig.html" title="struct hir_ty::CallableSig">CallableSig</a>) -> <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a></h4></section><section id="method.builtin" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#195-210">Source</a><h4 class="code-header">pub fn <a href="#method.builtin" class="fn">builtin</a>(builtin: <a class="enum" href="../hir_def/builtin_type/enum.BuiltinType.html" title="enum hir_def::builtin_type::BuiltinType">BuiltinType</a>) -> <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a></h4></section><section id="method.slice" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#212-214">Source</a><h4 class="code-header">pub fn <a href="#method.slice" class="fn">slice</a>(argument: <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a>) -> <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a></h4></section><section id="method.placeholder_subst" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#216-219">Source</a><h4 class="code-header">pub fn <a href="#method.placeholder_subst" class="fn">placeholder_subst</a>( |
| db: &dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a>, |
| def: impl <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a><<a class="enum" href="../hir_def/enum.GenericDefId.html" title="enum hir_def::GenericDefId">GenericDefId</a>>, |
| ) -> <a class="type" href="type.Substitution.html" title="type hir_ty::Substitution">Substitution</a></h4></section><section id="method.unknown_subst" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#221-233">Source</a><h4 class="code-header">pub fn <a href="#method.unknown_subst" class="fn">unknown_subst</a>( |
| db: &dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a>, |
| def: impl <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a><<a class="enum" href="../hir_def/enum.GenericDefId.html" title="enum hir_def::GenericDefId">GenericDefId</a>>, |
| ) -> <a class="type" href="type.Substitution.html" title="type hir_ty::Substitution">Substitution</a></h4></section><section id="method.subst_for_def" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#236-252">Source</a><h4 class="code-header">pub fn <a href="#method.subst_for_def" class="fn">subst_for_def</a>( |
| db: &dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a>, |
| def: impl <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a><<a class="enum" href="../hir_def/enum.GenericDefId.html" title="enum hir_def::GenericDefId">GenericDefId</a>>, |
| parent_subst: <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="type.Substitution.html" title="type hir_ty::Substitution">Substitution</a>>, |
| ) -> <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><<a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.unit.html">()</a>></h4></section><section id="method.build" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#254-257">Source</a><h4 class="code-header">pub fn <a href="#method.build" class="fn">build</a>(self) -> <a class="type" href="type.Substitution.html" title="type hir_ty::Substitution">Substitution</a></h4></section></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-TyBuilder%3CAdtId%3E" class="impl"><a class="src rightside" href="../src/hir_ty/builder.rs.html#260-302">Source</a><a href="#impl-TyBuilder%3CAdtId%3E" class="anchor">§</a><h3 class="code-header">impl <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><<a class="enum" href="../hir_def/enum.AdtId.html" title="enum hir_def::AdtId">AdtId</a>></h3></section></summary><div class="impl-items"><section id="method.adt" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#261-263">Source</a><h4 class="code-header">pub fn <a href="#method.adt" class="fn">adt</a>(db: &dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a>, def: <a class="enum" href="../hir_def/enum.AdtId.html" title="enum hir_def::AdtId">AdtId</a>) -> <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><<a class="enum" href="../hir_def/enum.AdtId.html" title="enum hir_def::AdtId">AdtId</a>></h4></section><section id="method.fill_with_defaults" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#265-296">Source</a><h4 class="code-header">pub fn <a href="#method.fill_with_defaults" class="fn">fill_with_defaults</a>( |
| self, |
| db: &dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a>, |
| fallback: impl <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/ops/function/trait.FnMut.html" title="trait core::ops::function::FnMut">FnMut</a>() -> <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a>, |
| ) -> Self</h4></section><section id="method.build-1" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#298-301">Source</a><h4 class="code-header">pub fn <a href="#method.build-1" class="fn">build</a>(self) -> <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a></h4></section></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-TyBuilder%3CTuple%3E" class="impl"><a class="src rightside" href="../src/hir_ty/builder.rs.html#305-329">Source</a><a href="#impl-TyBuilder%3CTuple%3E" class="anchor">§</a><h3 class="code-header">impl <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><Tuple></h3></section></summary><div class="impl-items"><section id="method.tuple" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#306-308">Source</a><h4 class="code-header">pub fn <a href="#method.tuple" class="fn">tuple</a>(size: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.usize.html">usize</a>) -> <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><Tuple></h4></section><section id="method.build-2" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#310-313">Source</a><h4 class="code-header">pub fn <a href="#method.build-2" class="fn">build</a>(self) -> <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a></h4></section><section id="method.tuple_with" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#315-328">Source</a><h4 class="code-header">pub fn <a href="#method.tuple_with" class="fn">tuple_with</a><I>(elements: I) -> <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a><div class="where">where |
| I: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/iter/traits/collect/trait.IntoIterator.html" title="trait core::iter::traits::collect::IntoIterator">IntoIterator</a><Item = <a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a>>, |
| <I as <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/iter/traits/collect/trait.IntoIterator.html" title="trait core::iter::traits::collect::IntoIterator">IntoIterator</a>>::<a class="associatedtype" href="https://doc.rust-lang.org/1.89.0/core/iter/traits/collect/trait.IntoIterator.html#associatedtype.IntoIter" title="type core::iter::traits::collect::IntoIterator::IntoIter">IntoIter</a>: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/iter/traits/exact_size/trait.ExactSizeIterator.html" title="trait core::iter::traits::exact_size::ExactSizeIterator">ExactSizeIterator</a>,</div></h4></section></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-TyBuilder%3CTraitId%3E" class="impl"><a class="src rightside" href="../src/hir_ty/builder.rs.html#331-340">Source</a><a href="#impl-TyBuilder%3CTraitId%3E" class="anchor">§</a><h3 class="code-header">impl <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><<a class="struct" href="../hir_def/struct.TraitId.html" title="struct hir_def::TraitId">TraitId</a>></h3></section></summary><div class="impl-items"><section id="method.trait_ref" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#332-334">Source</a><h4 class="code-header">pub fn <a href="#method.trait_ref" class="fn">trait_ref</a>(db: &dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a>, def: <a class="struct" href="../hir_def/struct.TraitId.html" title="struct hir_def::TraitId">TraitId</a>) -> <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><<a class="struct" href="../hir_def/struct.TraitId.html" title="struct hir_def::TraitId">TraitId</a>></h4></section><section id="method.build-3" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#336-339">Source</a><h4 class="code-header">pub fn <a href="#method.build-3" class="fn">build</a>(self) -> <a class="type" href="type.TraitRef.html" title="type hir_ty::TraitRef">TraitRef</a></h4></section></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-TyBuilder%3CTypeAliasId%3E" class="impl"><a class="src rightside" href="../src/hir_ty/builder.rs.html#342-355">Source</a><a href="#impl-TyBuilder%3CTypeAliasId%3E" class="anchor">§</a><h3 class="code-header">impl <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><<a class="struct" href="../hir_def/struct.TypeAliasId.html" title="struct hir_def::TypeAliasId">TypeAliasId</a>></h3></section></summary><div class="impl-items"><section id="method.assoc_type_projection" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#343-349">Source</a><h4 class="code-header">pub fn <a href="#method.assoc_type_projection" class="fn">assoc_type_projection</a>( |
| db: &dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a>, |
| def: <a class="struct" href="../hir_def/struct.TypeAliasId.html" title="struct hir_def::TypeAliasId">TypeAliasId</a>, |
| parent_subst: <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="type.Substitution.html" title="type hir_ty::Substitution">Substitution</a>>, |
| ) -> <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><<a class="struct" href="../hir_def/struct.TypeAliasId.html" title="struct hir_def::TypeAliasId">TypeAliasId</a>></h4></section><section id="method.build-4" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#351-354">Source</a><h4 class="code-header">pub fn <a href="#method.build-4" class="fn">build</a>(self) -> <a class="type" href="type.ProjectionTy.html" title="type hir_ty::ProjectionTy">ProjectionTy</a></h4></section></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-TyBuilder%3CEarlyBinder%3CDbInterner%3C'db%3E,+T%3E%3E" class="impl"><a class="src rightside" href="../src/hir_ty/builder.rs.html#357-363">Source</a><a href="#impl-TyBuilder%3CEarlyBinder%3CDbInterner%3C'db%3E,+T%3E%3E" class="anchor">§</a><h3 class="code-header">impl<'db, T: TypeFoldable<<a class="struct" href="next_solver/interner/struct.DbInterner.html" title="struct hir_ty::next_solver::interner::DbInterner">DbInterner</a><'db>>> <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><<a class="type" href="next_solver/type.EarlyBinder.html" title="type hir_ty::next_solver::EarlyBinder">EarlyBinder</a><'db, T>></h3></section></summary><div class="impl-items"><section id="method.build-5" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#358-362">Source</a><h4 class="code-header">pub fn <a href="#method.build-5" class="fn">build</a>(self, interner: <a class="struct" href="next_solver/interner/struct.DbInterner.html" title="struct hir_ty::next_solver::interner::DbInterner">DbInterner</a><'db>) -> T</h4></section></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-TyBuilder%3CEarlyBinder%3CDbInterner%3C'db%3E,+Ty%3C'db%3E%3E%3E" class="impl"><a class="src rightside" href="../src/hir_ty/builder.rs.html#365-389">Source</a><a href="#impl-TyBuilder%3CEarlyBinder%3CDbInterner%3C'db%3E,+Ty%3C'db%3E%3E%3E" class="anchor">§</a><h3 class="code-header">impl<'db> <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><<a class="type" href="next_solver/type.EarlyBinder.html" title="type hir_ty::next_solver::EarlyBinder">EarlyBinder</a><'db, <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'db>>></h3></section></summary><div class="impl-items"><section id="method.def_ty" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#366-381">Source</a><h4 class="code-header">pub fn <a href="#method.def_ty" class="fn">def_ty</a>( |
| db: &'db dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a>, |
| def: <a class="enum" href="enum.TyDefId.html" title="enum hir_ty::TyDefId">TyDefId</a>, |
| parent_subst: <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="type.Substitution.html" title="type hir_ty::Substitution">Substitution</a>>, |
| ) -> <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><<a class="type" href="next_solver/type.EarlyBinder.html" title="type hir_ty::next_solver::EarlyBinder">EarlyBinder</a><'db, <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'db>>></h4></section><section id="method.impl_self_ty" class="method"><a class="src rightside" href="../src/hir_ty/builder.rs.html#383-388">Source</a><h4 class="code-header">pub fn <a href="#method.impl_self_ty" class="fn">impl_self_ty</a>( |
| db: &'db dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a>, |
| def: <a class="struct" href="../hir_def/struct.ImplId.html" title="struct hir_def::ImplId">ImplId</a>, |
| ) -> <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><<a class="type" href="next_solver/type.EarlyBinder.html" title="type hir_ty::next_solver::EarlyBinder">EarlyBinder</a><'db, <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'db>>></h4></section></div></details></div><h2 id="synthetic-implementations" class="section-header">Auto Trait Implementations<a href="#synthetic-implementations" class="anchor">§</a></h2><div id="synthetic-implementations-list"><section id="impl-Freeze-for-TyBuilder%3CD%3E" class="impl"><a href="#impl-Freeze-for-TyBuilder%3CD%3E" class="anchor">§</a><h3 class="code-header">impl<D> <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Freeze.html" title="trait core::marker::Freeze">Freeze</a> for <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><D><div class="where">where |
| D: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Freeze.html" title="trait core::marker::Freeze">Freeze</a>,</div></h3></section><section id="impl-RefUnwindSafe-for-TyBuilder%3CD%3E" class="impl"><a href="#impl-RefUnwindSafe-for-TyBuilder%3CD%3E" class="anchor">§</a><h3 class="code-header">impl<D> !<a class="trait" href="https://doc.rust-lang.org/1.89.0/core/panic/unwind_safe/trait.RefUnwindSafe.html" title="trait core::panic::unwind_safe::RefUnwindSafe">RefUnwindSafe</a> for <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><D></h3></section><section id="impl-Send-for-TyBuilder%3CD%3E" class="impl"><a href="#impl-Send-for-TyBuilder%3CD%3E" class="anchor">§</a><h3 class="code-header">impl<D> <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> for <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><D><div class="where">where |
| D: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a>,</div></h3></section><section id="impl-Sync-for-TyBuilder%3CD%3E" class="impl"><a href="#impl-Sync-for-TyBuilder%3CD%3E" class="anchor">§</a><h3 class="code-header">impl<D> <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a> for <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><D><div class="where">where |
| D: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a>,</div></h3></section><section id="impl-Unpin-for-TyBuilder%3CD%3E" class="impl"><a href="#impl-Unpin-for-TyBuilder%3CD%3E" class="anchor">§</a><h3 class="code-header">impl<D> <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Unpin.html" title="trait core::marker::Unpin">Unpin</a> for <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><D><div class="where">where |
| D: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Unpin.html" title="trait core::marker::Unpin">Unpin</a>,</div></h3></section><section id="impl-UnwindSafe-for-TyBuilder%3CD%3E" class="impl"><a href="#impl-UnwindSafe-for-TyBuilder%3CD%3E" class="anchor">§</a><h3 class="code-header">impl<D> !<a class="trait" href="https://doc.rust-lang.org/1.89.0/core/panic/unwind_safe/trait.UnwindSafe.html" title="trait core::panic::unwind_safe::UnwindSafe">UnwindSafe</a> for <a class="struct" href="struct.TyBuilder.html" title="struct hir_ty::TyBuilder">TyBuilder</a><D></h3></section></div><h2 id="blanket-implementations" class="section-header">Blanket Implementations<a href="#blanket-implementations" class="anchor">§</a></h2><div id="blanket-implementations-list"><details class="toggle implementors-toggle"><summary><section id="impl-Any-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/any.rs.html#138">Source</a><a href="#impl-Any-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> for T<div class="where">where |
| T: 'static + ?<a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.type_id" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/any.rs.html#139">Source</a><a href="#method.type_id" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/any/trait.Any.html#tymethod.type_id" class="fn">type_id</a>(&self) -> <a class="struct" href="https://doc.rust-lang.org/1.89.0/core/any/struct.TypeId.html" title="struct core::any::TypeId">TypeId</a></h4></section></summary><div class='docblock'>Gets the <code>TypeId</code> of <code>self</code>. <a href="https://doc.rust-lang.org/1.89.0/core/any/trait.Any.html#tymethod.type_id">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Borrow%3CT%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/borrow.rs.html#209">Source</a><a href="#impl-Borrow%3CT%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/borrow/trait.Borrow.html" title="trait core::borrow::Borrow">Borrow</a><T> for T<div class="where">where |
| T: ?<a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.borrow" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/borrow.rs.html#211">Source</a><a href="#method.borrow" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/borrow/trait.Borrow.html#tymethod.borrow" class="fn">borrow</a>(&self) -> <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.reference.html">&T</a></h4></section></summary><div class='docblock'>Immutably borrows from an owned value. <a href="https://doc.rust-lang.org/1.89.0/core/borrow/trait.Borrow.html#tymethod.borrow">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-BorrowMut%3CT%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/borrow.rs.html#217">Source</a><a href="#impl-BorrowMut%3CT%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/borrow/trait.BorrowMut.html" title="trait core::borrow::BorrowMut">BorrowMut</a><T> for T<div class="where">where |
| T: ?<a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.borrow_mut" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/borrow.rs.html#218">Source</a><a href="#method.borrow_mut" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/borrow/trait.BorrowMut.html#tymethod.borrow_mut" class="fn">borrow_mut</a>(&mut self) -> <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.reference.html">&mut T</a></h4></section></summary><div class='docblock'>Mutably borrows from an owned value. <a href="https://doc.rust-lang.org/1.89.0/core/borrow/trait.BorrowMut.html#tymethod.borrow_mut">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Cast-for-T" class="impl"><a href="#impl-Cast-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="trait.Cast.html" title="trait hir_ty::Cast">Cast</a> for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.cast" class="method trait-impl"><a href="#method.cast" class="anchor">§</a><h4 class="code-header">fn <a href="trait.Cast.html#method.cast" class="fn">cast</a><U>(self, interner: <U as HasInterner>::Interner) -> U<div class="where">where |
| Self: CastTo<U>, |
| U: HasInterner,</div></h4></section></summary><div class='docblock'>Cast a value to type <code>U</code> using <code>CastTo</code>.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-CollectAndApply%3CT,+R%3E-for-T" class="impl"><a href="#impl-CollectAndApply%3CT,+R%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T, R> CollectAndApply<T, R> for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.collect_and_apply" class="method trait-impl"><a href="#method.collect_and_apply" class="anchor">§</a><h4 class="code-header">fn <a class="fn">collect_and_apply</a><I, F>(iter: I, f: F) -> R<div class="where">where |
| I: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a><Item = T>, |
| F: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/ops/function/trait.FnOnce.html" title="trait core::ops::function::FnOnce">FnOnce</a>(&<a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.slice.html">[T]</a>) -> R,</div></h4></section></summary><div class="docblock"><p>Equivalent to <code>f(&iter.collect::<Vec<_>>())</code>.</p> |
| </div></details><section id="associatedtype.Output" class="associatedtype trait-impl"><a href="#associatedtype.Output" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">Output</a> = R</h4></section></div></details><details class="toggle implementors-toggle"><summary><section id="impl-From%3CT%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/convert/mod.rs.html#774">Source</a><a href="#impl-From%3CT%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.From.html" title="trait core::convert::From">From</a><T> for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.from" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/convert/mod.rs.html#777">Source</a><a href="#method.from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/convert/trait.From.html#tymethod.from" class="fn">from</a>(t: T) -> T</h4></section></summary><div class="docblock"><p>Returns the argument unchanged.</p> |
| </div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Instrument-for-T" class="impl"><a href="#impl-Instrument-for-T" class="anchor">§</a><h3 class="code-header">impl<T> Instrument for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.instrument" class="method trait-impl"><a href="#method.instrument" class="anchor">§</a><h4 class="code-header">fn <a class="fn">instrument</a>(self, span: Span) -> Instrumented<Self></h4></section></summary><div class='docblock'>Instruments this type with the provided [<code>Span</code>], returning an |
| <code>Instrumented</code> wrapper. <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.in_current_span" class="method trait-impl"><a href="#method.in_current_span" class="anchor">§</a><h4 class="code-header">fn <a class="fn">in_current_span</a>(self) -> Instrumented<Self></h4></section></summary><div class='docblock'>Instruments this type with the <a href="super::Span::current()">current</a> <a href="crate::Span"><code>Span</code></a>, returning an |
| <code>Instrumented</code> wrapper. <a>Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Into%3CU%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/convert/mod.rs.html#757-759">Source</a><a href="#impl-Into%3CU%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T, U> <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a><U> for T<div class="where">where |
| U: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.From.html" title="trait core::convert::From">From</a><T>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/convert/mod.rs.html#767">Source</a><a href="#method.into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/convert/trait.Into.html#tymethod.into" class="fn">into</a>(self) -> U</h4></section></summary><div class="docblock"><p>Calls <code>U::from(self)</code>.</p> |
| <p>That is, this conversion is whatever the implementation of |
| <code><a href="https://doc.rust-lang.org/1.89.0/core/convert/trait.From.html" title="trait core::convert::From">From</a><T> for U</code> chooses to do.</p> |
| </div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-IntoBox%3Cdyn+Any%3E-for-T" class="impl"><a href="#impl-IntoBox%3Cdyn+Any%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> IntoBox<dyn <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a>> for T<div class="where">where |
| T: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into_box" class="method trait-impl"><a href="#method.into_box" class="anchor">§</a><h4 class="code-header">fn <a class="fn">into_box</a>(self) -> <a class="struct" href="https://doc.rust-lang.org/1.89.0/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><dyn <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a>></h4></section></summary><div class='docblock'>Convert self into the appropriate boxed form.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-IntoBox%3Cdyn+Any+%2B+Send%3E-for-T" class="impl"><a href="#impl-IntoBox%3Cdyn+Any+%2B+Send%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> IntoBox<dyn <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a>> for T<div class="where">where |
| T: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into_box-1" class="method trait-impl"><a href="#method.into_box-1" class="anchor">§</a><h4 class="code-header">fn <a class="fn">into_box</a>(self) -> <a class="struct" href="https://doc.rust-lang.org/1.89.0/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><dyn <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a>></h4></section></summary><div class='docblock'>Convert self into the appropriate boxed form.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-IntoBox%3Cdyn+Any+%2B+Send+%2B+Sync%3E-for-T" class="impl"><a href="#impl-IntoBox%3Cdyn+Any+%2B+Send+%2B+Sync%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> IntoBox<dyn <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a> + <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a>> for T<div class="where">where |
| T: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> + <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into_box-2" class="method trait-impl"><a href="#method.into_box-2" class="anchor">§</a><h4 class="code-header">fn <a class="fn">into_box</a>(self) -> <a class="struct" href="https://doc.rust-lang.org/1.89.0/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><dyn <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a> + <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a>></h4></section></summary><div class='docblock'>Convert self into the appropriate boxed form.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-IntoEither-for-T" class="impl"><a class="src rightside" href="https://docs.rs/either/1/src/either/into_either.rs.html#64">Source</a><a href="#impl-IntoEither-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html" title="trait either::into_either::IntoEither">IntoEither</a> for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into_either" class="method trait-impl"><a class="src rightside" href="https://docs.rs/either/1/src/either/into_either.rs.html#29">Source</a><a href="#method.into_either" class="anchor">§</a><h4 class="code-header">fn <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either" class="fn">into_either</a>(self, into_left: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.bool.html">bool</a>) -> <a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a><Self, Self> <a href="#" class="tooltip" data-notable-ty="Either<Self, Self>">ⓘ</a></h4></section></summary><div class='docblock'>Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Left" title="variant either::Either::Left"><code>Left</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either<Self, Self></code></a> |
| if <code>into_left</code> is <code>true</code>. |
| Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Right" title="variant either::Either::Right"><code>Right</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either<Self, Self></code></a> |
| otherwise. <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.into_either_with" class="method trait-impl"><a class="src rightside" href="https://docs.rs/either/1/src/either/into_either.rs.html#55-57">Source</a><a href="#method.into_either_with" class="anchor">§</a><h4 class="code-header">fn <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either_with" class="fn">into_either_with</a><F>(self, into_left: F) -> <a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a><Self, Self> <a href="#" class="tooltip" data-notable-ty="Either<Self, Self>">ⓘ</a><div class="where">where |
| F: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/ops/function/trait.FnOnce.html" title="trait core::ops::function::FnOnce">FnOnce</a>(&Self) -> <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.bool.html">bool</a>,</div></h4></section></summary><div class='docblock'>Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Left" title="variant either::Either::Left"><code>Left</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either<Self, Self></code></a> |
| if <code>into_left(&self)</code> returns <code>true</code>. |
| Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Right" title="variant either::Either::Right"><code>Right</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either<Self, Self></code></a> |
| otherwise. <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either_with">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Pointable-for-T" class="impl"><a href="#impl-Pointable-for-T" class="anchor">§</a><h3 class="code-header">impl<T> Pointable for T</h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedconstant.ALIGN" class="associatedconstant trait-impl"><a href="#associatedconstant.ALIGN" class="anchor">§</a><h4 class="code-header">const <a class="constant">ALIGN</a>: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.usize.html">usize</a></h4></section></summary><div class='docblock'>The alignment of pointer.</div></details><details class="toggle" open><summary><section id="associatedtype.Init" class="associatedtype trait-impl"><a href="#associatedtype.Init" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">Init</a> = T</h4></section></summary><div class='docblock'>The type for initializers.</div></details><details class="toggle method-toggle" open><summary><section id="method.init" class="method trait-impl"><a href="#method.init" class="anchor">§</a><h4 class="code-header">unsafe fn <a class="fn">init</a>(init: <T as Pointable>::Init) -> <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.usize.html">usize</a></h4></section></summary><div class='docblock'>Initializes a with the given initializer. <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.deref" class="method trait-impl"><a href="#method.deref" class="anchor">§</a><h4 class="code-header">unsafe fn <a class="fn">deref</a><'a>(ptr: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.usize.html">usize</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.reference.html">&'a T</a></h4></section></summary><div class='docblock'>Dereferences the given pointer. <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.deref_mut" class="method trait-impl"><a href="#method.deref_mut" class="anchor">§</a><h4 class="code-header">unsafe fn <a class="fn">deref_mut</a><'a>(ptr: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.usize.html">usize</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.reference.html">&'a mut T</a></h4></section></summary><div class='docblock'>Mutably dereferences the given pointer. <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.drop" class="method trait-impl"><a href="#method.drop" class="anchor">§</a><h4 class="code-header">unsafe fn <a class="fn">drop</a>(ptr: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.usize.html">usize</a>)</h4></section></summary><div class='docblock'>Drops the object pointed to by the given pointer. <a>Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-TryFrom%3CU%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/convert/mod.rs.html#813-815">Source</a><a href="#impl-TryFrom%3CU%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T, U> <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><U> for T<div class="where">where |
| U: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a><T>,</div></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Error-1" class="associatedtype trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/convert/mod.rs.html#817">Source</a><a href="#associatedtype.Error-1" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryFrom.html#associatedtype.Error" class="associatedtype">Error</a> = <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/convert/enum.Infallible.html" title="enum core::convert::Infallible">Infallible</a></h4></section></summary><div class='docblock'>The type returned in the event of a conversion error.</div></details><details class="toggle method-toggle" open><summary><section id="method.try_from" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/convert/mod.rs.html#820">Source</a><a href="#method.try_from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryFrom.html#tymethod.try_from" class="fn">try_from</a>(value: U) -> <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><T, <T as <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><U>>::<a class="associatedtype" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryFrom.html#associatedtype.Error" title="type core::convert::TryFrom::Error">Error</a>></h4></section></summary><div class='docblock'>Performs the conversion.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-TryInto%3CU%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/convert/mod.rs.html#798-800">Source</a><a href="#impl-TryInto%3CU%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T, U> <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryInto.html" title="trait core::convert::TryInto">TryInto</a><U> for T<div class="where">where |
| U: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><T>,</div></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Error" class="associatedtype trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/convert/mod.rs.html#802">Source</a><a href="#associatedtype.Error" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryInto.html#associatedtype.Error" class="associatedtype">Error</a> = <U as <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><T>>::<a class="associatedtype" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryFrom.html#associatedtype.Error" title="type core::convert::TryFrom::Error">Error</a></h4></section></summary><div class='docblock'>The type returned in the event of a conversion error.</div></details><details class="toggle method-toggle" open><summary><section id="method.try_into" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/convert/mod.rs.html#805">Source</a><a href="#method.try_into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryInto.html#tymethod.try_into" class="fn">try_into</a>(self) -> <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><U, <U as <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><T>>::<a class="associatedtype" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryFrom.html#associatedtype.Error" title="type core::convert::TryFrom::Error">Error</a>></h4></section></summary><div class='docblock'>Performs the conversion.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Upcast%3CI,+U%3E-for-T" class="impl"><a href="#impl-Upcast%3CI,+U%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<I, T, U> Upcast<I, U> for T<div class="where">where |
| U: UpcastFrom<I, T>,</div></h3></section></summary><div class="impl-items"><section id="method.upcast" class="method trait-impl"><a href="#method.upcast" class="anchor">§</a><h4 class="code-header">fn <a class="fn">upcast</a>(self, interner: I) -> U</h4></section></div></details><details class="toggle implementors-toggle"><summary><section id="impl-UpcastFrom%3CI,+T%3E-for-T" class="impl"><a href="#impl-UpcastFrom%3CI,+T%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<I, T> UpcastFrom<I, T> for T</h3></section></summary><div class="impl-items"><section id="method.upcast_from" class="method trait-impl"><a href="#method.upcast_from" class="anchor">§</a><h4 class="code-header">fn <a class="fn">upcast_from</a>(from: T, _tcx: I) -> T</h4></section></div></details><details class="toggle implementors-toggle"><summary><section id="impl-WithSubscriber-for-T" class="impl"><a href="#impl-WithSubscriber-for-T" class="anchor">§</a><h3 class="code-header">impl<T> WithSubscriber for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.with_subscriber" class="method trait-impl"><a href="#method.with_subscriber" class="anchor">§</a><h4 class="code-header">fn <a class="fn">with_subscriber</a><S>(self, subscriber: S) -> WithDispatch<Self><div class="where">where |
| S: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a><Dispatch>,</div></h4></section></summary><div class='docblock'>Attaches the provided <a href="super::Subscriber"><code>Subscriber</code></a> to this type, returning a |
| [<code>WithDispatch</code>] wrapper. <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.with_current_subscriber" class="method trait-impl"><a href="#method.with_current_subscriber" class="anchor">§</a><h4 class="code-header">fn <a class="fn">with_current_subscriber</a>(self) -> WithDispatch<Self></h4></section></summary><div class='docblock'>Attaches the current <a href="crate::dispatcher#setting-the-default-subscriber">default</a> <a href="super::Subscriber"><code>Subscriber</code></a> to this type, returning a |
| [<code>WithDispatch</code>] wrapper. <a>Read more</a></div></details></div></details><section id="impl-Captures%3C'a%3E-for-T" class="impl"><a href="#impl-Captures%3C'a%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<'a, T> Captures<'a> for T<div class="where">where |
| T: ?<a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></div><script type="text/json" id="notable-traits-data">{"Either<Self, Self>":"<h3>Notable traits for <code><a class=\"enum\" href=\"https://docs.rs/either/1/either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R></code></h3><pre><code><div class=\"where\">impl<L, R> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/core/iter/traits/iterator/trait.Iterator.html\" title=\"trait core::iter::traits::iterator::Iterator\">Iterator</a> for <a class=\"enum\" href=\"https://docs.rs/either/1/either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R><div class=\"where\">where\n L: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/core/iter/traits/iterator/trait.Iterator.html\" title=\"trait core::iter::traits::iterator::Iterator\">Iterator</a>,\n R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/core/iter/traits/iterator/trait.Iterator.html\" title=\"trait core::iter::traits::iterator::Iterator\">Iterator</a><Item = <L as <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/core/iter/traits/iterator/trait.Iterator.html\" title=\"trait core::iter::traits::iterator::Iterator\">Iterator</a>>::<a class=\"associatedtype\" href=\"https://doc.rust-lang.org/1.89.0/core/iter/traits/iterator/trait.Iterator.html#associatedtype.Item\" title=\"type core::iter::traits::iterator::Iterator::Item\">Item</a>>,</div></div><div class=\"where\"> type <a href=\"https://doc.rust-lang.org/1.89.0/core/iter/traits/iterator/trait.Iterator.html#associatedtype.Item\" class=\"associatedtype\">Item</a> = <L as <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/core/iter/traits/iterator/trait.Iterator.html\" title=\"trait core::iter::traits::iterator::Iterator\">Iterator</a>>::<a class=\"associatedtype\" href=\"https://doc.rust-lang.org/1.89.0/core/iter/traits/iterator/trait.Iterator.html#associatedtype.Item\" title=\"type core::iter::traits::iterator::Iterator::Item\">Item</a>;</div><div class=\"where\">impl<L, R> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/core/future/future/trait.Future.html\" title=\"trait core::future::future::Future\">Future</a> for <a class=\"enum\" href=\"https://docs.rs/either/1/either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R><div class=\"where\">where\n L: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/core/future/future/trait.Future.html\" title=\"trait core::future::future::Future\">Future</a>,\n R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/core/future/future/trait.Future.html\" title=\"trait core::future::future::Future\">Future</a><Output = <L as <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/core/future/future/trait.Future.html\" title=\"trait core::future::future::Future\">Future</a>>::<a class=\"associatedtype\" href=\"https://doc.rust-lang.org/1.89.0/core/future/future/trait.Future.html#associatedtype.Output\" title=\"type core::future::future::Future::Output\">Output</a>>,</div></div><div class=\"where\"> type <a href=\"https://doc.rust-lang.org/1.89.0/core/future/future/trait.Future.html#associatedtype.Output\" class=\"associatedtype\">Output</a> = <L as <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/core/future/future/trait.Future.html\" title=\"trait core::future::future::Future\">Future</a>>::<a class=\"associatedtype\" href=\"https://doc.rust-lang.org/1.89.0/core/future/future/trait.Future.html#associatedtype.Output\" title=\"type core::future::future::Future::Output\">Output</a>;</div><div class=\"where\">impl<L, R> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/std/io/trait.Read.html\" title=\"trait std::io::Read\">Read</a> for <a class=\"enum\" href=\"https://docs.rs/either/1/either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R><div class=\"where\">where\n L: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/std/io/trait.Read.html\" title=\"trait std::io::Read\">Read</a>,\n R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/std/io/trait.Read.html\" title=\"trait std::io::Read\">Read</a>,</div></div><div class=\"where\">impl<L, R> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/std/io/trait.Write.html\" title=\"trait std::io::Write\">Write</a> for <a class=\"enum\" href=\"https://docs.rs/either/1/either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R><div class=\"where\">where\n L: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/std/io/trait.Write.html\" title=\"trait std::io::Write\">Write</a>,\n R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.89.0/std/io/trait.Write.html\" title=\"trait std::io::Write\">Write</a>,</div></div>"}</script></section></div></main></body></html> |