Google Git
Sign in
fuchsia / third_party / github.com / rust-lang / rust-analyzer / refs/heads/upstream/gh-pages / . / hir_ty / struct.InferenceResult.html
blob: b4d10899cba767a13ca099f695c04d403d812e63 [file] [log] [blame] [edit]
<!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="The result of type inference: A mapping from expressions and patterns to types."><title>InferenceResult 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="#">Inference<wbr>Result</a></h2><h3><a href="#fields">Fields</a></h3><ul class="block structfield"><li><a href="#structfield.mutated_bindings_in_closure" title="mutated_bindings_in_closure">mutated_bindings_in_closure</a></li></ul><h3><a href="#implementations">Methods</a></h3><ul class="block method"><li><a href="#method.assoc_resolutions_for_expr" title="assoc_resolutions_for_expr">assoc_resolutions_for_expr</a></li><li><a href="#method.assoc_resolutions_for_expr_or_pat" title="assoc_resolutions_for_expr_or_pat">assoc_resolutions_for_expr_or_pat</a></li><li><a href="#method.assoc_resolutions_for_pat" title="assoc_resolutions_for_pat">assoc_resolutions_for_pat</a></li><li><a href="#method.binding_mode" title="binding_mode">binding_mode</a></li><li><a href="#method.binding_types" title="binding_types">binding_types</a></li><li><a href="#method.closure_info" title="closure_info">closure_info</a></li><li><a href="#method.diagnostics" title="diagnostics">diagnostics</a></li><li><a href="#method.expr_adjustment" title="expr_adjustment">expr_adjustment</a></li><li><a href="#method.expr_type_mismatches" title="expr_type_mismatches">expr_type_mismatches</a></li><li><a href="#method.expression_types" title="expression_types">expression_types</a></li><li><a href="#method.field_resolution" title="field_resolution">field_resolution</a></li><li><a href="#method.is_erroneous" title="is_erroneous">is_erroneous</a></li><li><a href="#method.method_resolution" title="method_resolution">method_resolution</a></li><li><a href="#method.pat_adjustment" title="pat_adjustment">pat_adjustment</a></li><li><a href="#method.pattern_types" title="pattern_types">pattern_types</a></li><li><a href="#method.return_position_impl_trait_types" title="return_position_impl_trait_types">return_position_impl_trait_types</a></li><li><a href="#method.tuple_field_access_type" title="tuple_field_access_type">tuple_field_access_type</a></li><li><a href="#method.type_mismatch_for_expr" title="type_mismatch_for_expr">type_mismatch_for_expr</a></li><li><a href="#method.type_mismatch_for_pat" title="type_mismatch_for_pat">type_mismatch_for_pat</a></li><li><a href="#method.type_mismatches" title="type_mismatches">type_mismatches</a></li><li><a href="#method.type_of_expr_or_pat" title="type_of_expr_or_pat">type_of_expr_or_pat</a></li><li><a href="#method.type_of_expr_with_adjust" title="type_of_expr_with_adjust">type_of_expr_with_adjust</a></li><li><a href="#method.type_of_pat_with_adjust" title="type_of_pat_with_adjust">type_of_pat_with_adjust</a></li><li><a href="#method.variant_resolution_for_expr" title="variant_resolution_for_expr">variant_resolution_for_expr</a></li><li><a href="#method.variant_resolution_for_expr_or_pat" title="variant_resolution_for_expr_or_pat">variant_resolution_for_expr_or_pat</a></li><li><a href="#method.variant_resolution_for_pat" title="variant_resolution_for_pat">variant_resolution_for_pat</a></li></ul><h3><a href="#trait-implementations">Trait Implementations</a></h3><ul class="block trait-implementation"><li><a href="#impl-Clone-for-InferenceResult%3C'db%3E" title="Clone">Clone</a></li><li><a href="#impl-Debug-for-InferenceResult%3C'db%3E" title="Debug">Debug</a></li><li><a href="#impl-Eq-for-InferenceResult%3C'db%3E" title="Eq">Eq</a></li><li><a href="#impl-Index%3CExprOrPatId%3E-for-InferenceResult%3C'db%3E" title="Index&#60;ExprOrPatId&#62;">Index&#60;ExprOrPatId&#62;</a></li><li><a href="#impl-Index%3CIdx%3CBinding%3E%3E-for-InferenceResult%3C'db%3E" title="Index&#60;Idx&#60;Binding&#62;&#62;">Index&#60;Idx&#60;Binding&#62;&#62;</a></li><li><a href="#impl-Index%3CIdx%3CExpr%3E%3E-for-InferenceResult%3C'db%3E" title="Index&#60;Idx&#60;Expr&#62;&#62;">Index&#60;Idx&#60;Expr&#62;&#62;</a></li><li><a href="#impl-Index%3CIdx%3CPat%3E%3E-for-InferenceResult%3C'db%3E" title="Index&#60;Idx&#60;Pat&#62;&#62;">Index&#60;Idx&#60;Pat&#62;&#62;</a></li><li><a href="#impl-PartialEq-for-InferenceResult%3C'db%3E" title="PartialEq">PartialEq</a></li><li><a href="#impl-StructuralPartialEq-for-InferenceResult%3C'db%3E" title="StructuralPartialEq">StructuralPartialEq</a></li></ul><h3><a href="#synthetic-implementations">Auto Trait Implementations</a></h3><ul class="block synthetic-implementation"><li><a href="#impl-RefUnwindSafe-for-InferenceResult%3C'db%3E" title="!RefUnwindSafe">!RefUnwindSafe</a></li><li><a href="#impl-UnwindSafe-for-InferenceResult%3C'db%3E" title="!UnwindSafe">!UnwindSafe</a></li><li><a href="#impl-Freeze-for-InferenceResult%3C'db%3E" title="Freeze">Freeze</a></li><li><a href="#impl-Send-for-InferenceResult%3C'db%3E" title="Send">Send</a></li><li><a href="#impl-Sync-for-InferenceResult%3C'db%3E" title="Sync">Sync</a></li><li><a href="#impl-Unpin-for-InferenceResult%3C'db%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&#60;T&#62;">Borrow&#60;T&#62;</a></li><li><a href="#impl-BorrowMut%3CT%3E-for-T" title="BorrowMut&#60;T&#62;">BorrowMut&#60;T&#62;</a></li><li><a href="#impl-Captures%3C'a%3E-for-T" title="Captures&#60;&#39;a&#62;">Captures&#60;&#39;a&#62;</a></li><li><a href="#impl-Cast-for-T" title="Cast">Cast</a></li><li><a href="#impl-CloneToUninit-for-T" title="CloneToUninit">CloneToUninit</a></li><li><a href="#impl-CollectAndApply%3CT,+R%3E-for-T" title="CollectAndApply&#60;T, R&#62;">CollectAndApply&#60;T, R&#62;</a></li><li><a href="#impl-Equivalent%3CK%3E-for-Q" title="Equivalent&#60;K&#62;">Equivalent&#60;K&#62;</a></li><li><a href="#impl-Equivalent%3CK%3E-for-Q-1" title="Equivalent&#60;K&#62;">Equivalent&#60;K&#62;</a></li><li><a href="#impl-From%3CT%3E-for-T" title="From&#60;T&#62;">From&#60;T&#62;</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&#60;U&#62;">Into&#60;U&#62;</a></li><li><a href="#impl-IntoBox%3Cdyn+Any+%2B+Send%3E-for-T" title="IntoBox&#60;dyn Any + Send&#62;">IntoBox&#60;dyn Any + Send&#62;</a></li><li><a href="#impl-IntoBox%3Cdyn+Any+%2B+Send+%2B+Sync%3E-for-T" title="IntoBox&#60;dyn Any + Sync + Send&#62;">IntoBox&#60;dyn Any + Sync + Send&#62;</a></li><li><a href="#impl-IntoBox%3Cdyn+Any%3E-for-T" title="IntoBox&#60;dyn Any&#62;">IntoBox&#60;dyn Any&#62;</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-ToOwned-for-T" title="ToOwned">ToOwned</a></li><li><a href="#impl-TryFrom%3CU%3E-for-T" title="TryFrom&#60;U&#62;">TryFrom&#60;U&#62;</a></li><li><a href="#impl-TryInto%3CU%3E-for-T" title="TryInto&#60;U&#62;">TryInto&#60;U&#62;</a></li><li><a href="#impl-Upcast%3CI,+U%3E-for-T" title="Upcast&#60;I, U&#62;">Upcast&#60;I, U&#62;</a></li><li><a href="#impl-UpcastFrom%3CI,+T%3E-for-T" title="UpcastFrom&#60;I, T&#62;">UpcastFrom&#60;I, T&#62;</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">InferenceResult</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/infer.rs.html#465-518">Source</a> </span></div><pre class="rust item-decl"><code>pub struct InferenceResult&lt;'db&gt; {
pub mutated_bindings_in_closure: FxHashSet&lt;<a class="type" href="../hir_def/hir/type.BindingId.html" title="type hir_def::hir::BindingId">BindingId</a>&gt;,
<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>The result of type inference: A mapping from expressions and patterns to types.</p>
<p>When you add a field that stores types (including <code>Substitution</code> and the like), don’t forget
<code>resolve_completely()</code>’ing them in <code>InferenceContext::resolve_all()</code>. Inference variables must
not appear in the final inference result.</p>
</div></details><h2 id="fields" class="fields section-header">Fields<a href="#fields" class="anchor">§</a></h2><span id="structfield.mutated_bindings_in_closure" class="structfield section-header"><a href="#structfield.mutated_bindings_in_closure" class="anchor field">§</a><code>mutated_bindings_in_closure: FxHashSet&lt;<a class="type" href="../hir_def/hir/type.BindingId.html" title="type hir_def::hir::BindingId">BindingId</a>&gt;</code></span><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-InferenceResult%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#520-676">Source</a><a href="#impl-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section></summary><div class="impl-items"><section id="method.method_resolution" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#545-547">Source</a><h4 class="code-header">pub fn <a href="#method.method_resolution" class="fn">method_resolution</a>(
&amp;self,
expr: <a class="type" href="../hir_def/hir/type.ExprId.html" title="type hir_def::hir::ExprId">ExprId</a>,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(<a class="struct" href="../hir_def/struct.FunctionId.html" title="struct hir_def::FunctionId">FunctionId</a>, <a class="struct" href="next_solver/struct.GenericArgs.html" title="struct hir_ty::next_solver::GenericArgs">GenericArgs</a>&lt;'db&gt;)&gt;</h4></section><section id="method.field_resolution" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#548-550">Source</a><h4 class="code-header">pub fn <a href="#method.field_resolution" class="fn">field_resolution</a>(
&amp;self,
expr: <a class="type" href="../hir_def/hir/type.ExprId.html" title="type hir_def::hir::ExprId">ExprId</a>,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a>&lt;<a class="struct" href="../hir_def/struct.FieldId.html" title="struct hir_def::FieldId">FieldId</a>, <a class="struct" href="../hir_def/struct.TupleFieldId.html" title="struct hir_def::TupleFieldId">TupleFieldId</a>&gt;&gt;</h4></section><section id="method.variant_resolution_for_expr" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#551-553">Source</a><h4 class="code-header">pub fn <a href="#method.variant_resolution_for_expr" class="fn">variant_resolution_for_expr</a>(&amp;self, id: <a class="type" href="../hir_def/hir/type.ExprId.html" title="type hir_def::hir::ExprId">ExprId</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="enum" href="../hir_def/enum.VariantId.html" title="enum hir_def::VariantId">VariantId</a>&gt;</h4></section><section id="method.variant_resolution_for_pat" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#554-556">Source</a><h4 class="code-header">pub fn <a href="#method.variant_resolution_for_pat" class="fn">variant_resolution_for_pat</a>(&amp;self, id: <a class="type" href="../hir_def/hir/type.PatId.html" title="type hir_def::hir::PatId">PatId</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="enum" href="../hir_def/enum.VariantId.html" title="enum hir_def::VariantId">VariantId</a>&gt;</h4></section><section id="method.variant_resolution_for_expr_or_pat" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#557-562">Source</a><h4 class="code-header">pub fn <a href="#method.variant_resolution_for_expr_or_pat" class="fn">variant_resolution_for_expr_or_pat</a>(
&amp;self,
id: <a class="enum" href="../hir_def/hir/enum.ExprOrPatId.html" title="enum hir_def::hir::ExprOrPatId">ExprOrPatId</a>,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="enum" href="../hir_def/enum.VariantId.html" title="enum hir_def::VariantId">VariantId</a>&gt;</h4></section><section id="method.assoc_resolutions_for_expr" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#563-568">Source</a><h4 class="code-header">pub fn <a href="#method.assoc_resolutions_for_expr" class="fn">assoc_resolutions_for_expr</a>(
&amp;self,
id: <a class="type" href="../hir_def/hir/type.ExprId.html" title="type hir_def::hir::ExprId">ExprId</a>,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(<a class="enum" href="../hir_def/enum.AssocItemId.html" title="enum hir_def::AssocItemId">AssocItemId</a>, <a class="struct" href="next_solver/struct.GenericArgs.html" title="struct hir_ty::next_solver::GenericArgs">GenericArgs</a>&lt;'db&gt;)&gt;</h4></section><section id="method.assoc_resolutions_for_pat" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#569-571">Source</a><h4 class="code-header">pub fn <a href="#method.assoc_resolutions_for_pat" class="fn">assoc_resolutions_for_pat</a>(
&amp;self,
id: <a class="type" href="../hir_def/hir/type.PatId.html" title="type hir_def::hir::PatId">PatId</a>,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(<a class="enum" href="../hir_def/enum.AssocItemId.html" title="enum hir_def::AssocItemId">AssocItemId</a>, <a class="struct" href="next_solver/struct.GenericArgs.html" title="struct hir_ty::next_solver::GenericArgs">GenericArgs</a>&lt;'db&gt;)&gt;</h4></section><section id="method.assoc_resolutions_for_expr_or_pat" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#572-580">Source</a><h4 class="code-header">pub fn <a href="#method.assoc_resolutions_for_expr_or_pat" class="fn">assoc_resolutions_for_expr_or_pat</a>(
&amp;self,
id: <a class="enum" href="../hir_def/hir/enum.ExprOrPatId.html" title="enum hir_def::hir::ExprOrPatId">ExprOrPatId</a>,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(<a class="enum" href="../hir_def/enum.AssocItemId.html" title="enum hir_def::AssocItemId">AssocItemId</a>, <a class="struct" href="next_solver/struct.GenericArgs.html" title="struct hir_ty::next_solver::GenericArgs">GenericArgs</a>&lt;'db&gt;)&gt;</h4></section><section id="method.type_mismatch_for_expr" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#581-583">Source</a><h4 class="code-header">pub fn <a href="#method.type_mismatch_for_expr" class="fn">type_mismatch_for_expr</a>(&amp;self, expr: <a class="type" href="../hir_def/hir/type.ExprId.html" title="type hir_def::hir::ExprId">ExprId</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;&amp;TypeMismatch&lt;'db&gt;&gt;</h4></section><section id="method.type_mismatch_for_pat" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#584-586">Source</a><h4 class="code-header">pub fn <a href="#method.type_mismatch_for_pat" class="fn">type_mismatch_for_pat</a>(&amp;self, pat: <a class="type" href="../hir_def/hir/type.PatId.html" title="type hir_def::hir::PatId">PatId</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;&amp;TypeMismatch&lt;'db&gt;&gt;</h4></section><section id="method.type_mismatches" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#587-589">Source</a><h4 class="code-header">pub fn <a href="#method.type_mismatches" class="fn">type_mismatches</a>(
&amp;self,
) -&gt; impl <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>&lt;Item = (<a class="enum" href="../hir_def/hir/enum.ExprOrPatId.html" title="enum hir_def::hir::ExprOrPatId">ExprOrPatId</a>, &amp;TypeMismatch&lt;'db&gt;)&gt;</h4></section><section id="method.expr_type_mismatches" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#590-595">Source</a><h4 class="code-header">pub fn <a href="#method.expr_type_mismatches" class="fn">expr_type_mismatches</a>(
&amp;self,
) -&gt; impl <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>&lt;Item = (<a class="type" href="../hir_def/hir/type.ExprId.html" title="type hir_def::hir::ExprId">ExprId</a>, &amp;TypeMismatch&lt;'db&gt;)&gt;</h4></section><section id="method.closure_info" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#596-598">Source</a><h4 class="code-header">pub fn <a href="#method.closure_info" class="fn">closure_info</a>(
&amp;self,
closure: <a class="struct" href="db/struct.InternedClosureId.html" title="struct hir_ty::db::InternedClosureId">InternedClosureId</a>,
) -&gt; &amp;(<a class="struct" href="https://doc.rust-lang.org/1.89.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="struct" href="struct.CapturedItem.html" title="struct hir_ty::CapturedItem">CapturedItem</a>&lt;'db&gt;&gt;, <a class="enum" href="traits/enum.FnTrait.html" title="enum hir_ty::traits::FnTrait">FnTrait</a>)</h4></section><section id="method.type_of_expr_or_pat" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#599-604">Source</a><h4 class="code-header">pub fn <a href="#method.type_of_expr_or_pat" class="fn">type_of_expr_or_pat</a>(&amp;self, id: <a class="enum" href="../hir_def/hir/enum.ExprOrPatId.html" title="enum hir_def::hir::ExprOrPatId">ExprOrPatId</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;&gt;</h4></section><section id="method.type_of_expr_with_adjust" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#605-624">Source</a><h4 class="code-header">pub fn <a href="#method.type_of_expr_with_adjust" class="fn">type_of_expr_with_adjust</a>(&amp;self, id: <a class="type" href="../hir_def/hir/type.ExprId.html" title="type hir_def::hir::ExprId">ExprId</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;&gt;</h4></section><section id="method.type_of_pat_with_adjust" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#625-630">Source</a><h4 class="code-header">pub fn <a href="#method.type_of_pat_with_adjust" class="fn">type_of_pat_with_adjust</a>(&amp;self, id: <a class="type" href="../hir_def/hir/type.PatId.html" title="type hir_def::hir::PatId">PatId</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;&gt;</h4></section><section id="method.is_erroneous" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#631-633">Source</a><h4 class="code-header">pub fn <a href="#method.is_erroneous" class="fn">is_erroneous</a>(&amp;self) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.bool.html">bool</a></h4></section><section id="method.diagnostics" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#635-637">Source</a><h4 class="code-header">pub fn <a href="#method.diagnostics" class="fn">diagnostics</a>(&amp;self) -&gt; &amp;[<a class="enum" href="enum.InferenceDiagnostic.html" title="enum hir_ty::InferenceDiagnostic">InferenceDiagnostic</a>&lt;'db&gt;]</h4></section><section id="method.tuple_field_access_type" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#639-641">Source</a><h4 class="code-header">pub fn <a href="#method.tuple_field_access_type" class="fn">tuple_field_access_type</a>(&amp;self, id: <a class="struct" href="../hir_def/struct.TupleId.html" title="struct hir_def::TupleId">TupleId</a>) -&gt; <a class="struct" href="next_solver/struct.Tys.html" title="struct hir_ty::next_solver::Tys">Tys</a>&lt;'db&gt;</h4></section><section id="method.pat_adjustment" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#643-645">Source</a><h4 class="code-header">pub fn <a href="#method.pat_adjustment" class="fn">pat_adjustment</a>(&amp;self, id: <a class="type" href="../hir_def/hir/type.PatId.html" title="type hir_def::hir::PatId">PatId</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;&amp;[<a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;]&gt;</h4></section><section id="method.expr_adjustment" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#647-649">Source</a><h4 class="code-header">pub fn <a href="#method.expr_adjustment" class="fn">expr_adjustment</a>(&amp;self, id: <a class="type" href="../hir_def/hir/type.ExprId.html" title="type hir_def::hir::ExprId">ExprId</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;&amp;[<a class="struct" href="struct.Adjustment.html" title="struct hir_ty::Adjustment">Adjustment</a>&lt;'db&gt;]&gt;</h4></section><section id="method.binding_mode" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#651-653">Source</a><h4 class="code-header">pub fn <a href="#method.binding_mode" class="fn">binding_mode</a>(&amp;self, id: <a class="type" href="../hir_def/hir/type.PatId.html" title="type hir_def::hir::PatId">PatId</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="enum" href="enum.BindingMode.html" title="enum hir_ty::BindingMode">BindingMode</a>&gt;</h4></section><section id="method.expression_types" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#656-658">Source</a><h4 class="code-header">pub fn <a href="#method.expression_types" class="fn">expression_types</a>(&amp;self) -&gt; impl <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>&lt;Item = (<a class="type" href="../hir_def/hir/type.ExprId.html" title="type hir_def::hir::ExprId">ExprId</a>, <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;)&gt;</h4></section><section id="method.pattern_types" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#661-663">Source</a><h4 class="code-header">pub fn <a href="#method.pattern_types" class="fn">pattern_types</a>(&amp;self) -&gt; impl <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>&lt;Item = (<a class="type" href="../hir_def/hir/type.PatId.html" title="type hir_def::hir::PatId">PatId</a>, <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;)&gt;</h4></section><section id="method.binding_types" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#666-668">Source</a><h4 class="code-header">pub fn <a href="#method.binding_types" class="fn">binding_types</a>(&amp;self) -&gt; impl <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>&lt;Item = (<a class="type" href="../hir_def/hir/type.BindingId.html" title="type hir_def::hir::BindingId">BindingId</a>, <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;)&gt;</h4></section><section id="method.return_position_impl_trait_types" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#671-675">Source</a><h4 class="code-header">pub fn <a href="#method.return_position_impl_trait_types" class="fn">return_position_impl_trait_types</a>(
&amp;self,
) -&gt; impl <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>&lt;Item = (<a class="type" href="next_solver/type.ImplTraitIdx.html" title="type hir_ty::next_solver::ImplTraitIdx">ImplTraitIdx</a>&lt;'db&gt;, <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;)&gt;</h4></section></div></details></div><h2 id="trait-implementations" class="section-header">Trait Implementations<a href="#trait-implementations" class="anchor">§</a></h2><div id="trait-implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-Clone-for-InferenceResult%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#464">Source</a><a href="#impl-Clone-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a> for <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.clone" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#464">Source</a><a href="#method.clone" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/clone/trait.Clone.html#tymethod.clone" class="fn">clone</a>(&amp;self) -&gt; <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h4></section></summary><div class='docblock'>Returns a duplicate of the value. <a href="https://doc.rust-lang.org/1.89.0/core/clone/trait.Clone.html#tymethod.clone">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.clone_from" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/1.89.0/src/core/clone.rs.html#213-215">Source</a></span><a href="#method.clone_from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/clone/trait.Clone.html#method.clone_from" class="fn">clone_from</a>(&amp;mut self, source: &amp;Self)</h4></section></summary><div class='docblock'>Performs copy-assignment from <code>source</code>. <a href="https://doc.rust-lang.org/1.89.0/core/clone/trait.Clone.html#method.clone_from">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Debug-for-InferenceResult%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#464">Source</a><a href="#impl-Debug-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a> for <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.fmt" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#464">Source</a><a href="#method.fmt" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/fmt/trait.Debug.html#tymethod.fmt" class="fn">fmt</a>(&amp;self, f: &amp;mut <a class="struct" href="https://doc.rust-lang.org/1.89.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a>&lt;'_&gt;) -&gt; <a class="type" href="https://doc.rust-lang.org/1.89.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a></h4></section></summary><div class='docblock'>Formats the value using the given formatter. <a href="https://doc.rust-lang.org/1.89.0/core/fmt/trait.Debug.html#tymethod.fmt">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Index%3CExprOrPatId%3E-for-InferenceResult%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#694-703">Source</a><a href="#impl-Index%3CExprOrPatId%3E-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html" title="trait core::ops::index::Index">Index</a>&lt;<a class="enum" href="../hir_def/hir/enum.ExprOrPatId.html" title="enum hir_def::hir::ExprOrPatId">ExprOrPatId</a>&gt; for <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Output-2" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#695">Source</a><a href="#associatedtype.Output-2" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html#associatedtype.Output" class="associatedtype">Output</a> = <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;</h4></section></summary><div class='docblock'>The returned type after indexing.</div></details><details class="toggle method-toggle" open><summary><section id="method.index-2" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#697-702">Source</a><a href="#method.index-2" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html#tymethod.index" class="fn">index</a>(&amp;self, id: <a class="enum" href="../hir_def/hir/enum.ExprOrPatId.html" title="enum hir_def::hir::ExprOrPatId">ExprOrPatId</a>) -&gt; &amp;<a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;</h4></section></summary><div class='docblock'>Performs the indexing (<code>container[index]</code>) operation. <a href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html#tymethod.index">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Index%3CIdx%3CBinding%3E%3E-for-InferenceResult%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#705-711">Source</a><a href="#impl-Index%3CIdx%3CBinding%3E%3E-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html" title="trait core::ops::index::Index">Index</a>&lt;Idx&lt;<a class="struct" href="../hir_def/hir/struct.Binding.html" title="struct hir_def::hir::Binding">Binding</a>&gt;&gt; for <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Output-3" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#706">Source</a><a href="#associatedtype.Output-3" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html#associatedtype.Output" class="associatedtype">Output</a> = <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;</h4></section></summary><div class='docblock'>The returned type after indexing.</div></details><details class="toggle method-toggle" open><summary><section id="method.index-3" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#708-710">Source</a><a href="#method.index-3" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html#tymethod.index" class="fn">index</a>(&amp;self, b: <a class="type" href="../hir_def/hir/type.BindingId.html" title="type hir_def::hir::BindingId">BindingId</a>) -&gt; &amp;<a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;</h4></section></summary><div class='docblock'>Performs the indexing (<code>container[index]</code>) operation. <a href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html#tymethod.index">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Index%3CIdx%3CExpr%3E%3E-for-InferenceResult%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#678-684">Source</a><a href="#impl-Index%3CIdx%3CExpr%3E%3E-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html" title="trait core::ops::index::Index">Index</a>&lt;Idx&lt;<a class="enum" href="../hir_def/hir/enum.Expr.html" title="enum hir_def::hir::Expr">Expr</a>&gt;&gt; for <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Output" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#679">Source</a><a href="#associatedtype.Output" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html#associatedtype.Output" class="associatedtype">Output</a> = <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;</h4></section></summary><div class='docblock'>The returned type after indexing.</div></details><details class="toggle method-toggle" open><summary><section id="method.index" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#681-683">Source</a><a href="#method.index" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html#tymethod.index" class="fn">index</a>(&amp;self, expr: <a class="type" href="../hir_def/hir/type.ExprId.html" title="type hir_def::hir::ExprId">ExprId</a>) -&gt; &amp;<a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;</h4></section></summary><div class='docblock'>Performs the indexing (<code>container[index]</code>) operation. <a href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html#tymethod.index">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Index%3CIdx%3CPat%3E%3E-for-InferenceResult%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#686-692">Source</a><a href="#impl-Index%3CIdx%3CPat%3E%3E-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html" title="trait core::ops::index::Index">Index</a>&lt;Idx&lt;<a class="enum" href="../hir_def/hir/enum.Pat.html" title="enum hir_def::hir::Pat">Pat</a>&gt;&gt; for <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Output-1" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#687">Source</a><a href="#associatedtype.Output-1" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html#associatedtype.Output" class="associatedtype">Output</a> = <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;</h4></section></summary><div class='docblock'>The returned type after indexing.</div></details><details class="toggle method-toggle" open><summary><section id="method.index-1" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#689-691">Source</a><a href="#method.index-1" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html#tymethod.index" class="fn">index</a>(&amp;self, pat: <a class="type" href="../hir_def/hir/type.PatId.html" title="type hir_def::hir::PatId">PatId</a>) -&gt; &amp;<a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a>&lt;'db&gt;</h4></section></summary><div class='docblock'>Performs the indexing (<code>container[index]</code>) operation. <a href="https://doc.rust-lang.org/1.89.0/core/ops/index/trait.Index.html#tymethod.index">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-PartialEq-for-InferenceResult%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#464">Source</a><a href="#impl-PartialEq-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/cmp/trait.PartialEq.html" title="trait core::cmp::PartialEq">PartialEq</a> for <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.eq" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#464">Source</a><a href="#method.eq" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/cmp/trait.PartialEq.html#tymethod.eq" class="fn">eq</a>(&amp;self, other: &amp;<a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Tests for <code>self</code> and <code>other</code> values to be equal, and is used by <code>==</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.ne" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/1.89.0/src/core/cmp.rs.html#263">Source</a></span><a href="#method.ne" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/core/cmp/trait.PartialEq.html#method.ne" class="fn">ne</a>(&amp;self, other: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.reference.html">&amp;Rhs</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Tests for <code>!=</code>. The default implementation is almost always sufficient,
and should not be overridden without very good reason.</div></details></div></details><section id="impl-Eq-for-InferenceResult%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#464">Source</a><a href="#impl-Eq-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> for <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section><section id="impl-StructuralPartialEq-for-InferenceResult%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#464">Source</a><a href="#impl-StructuralPartialEq-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.StructuralPartialEq.html" title="trait core::marker::StructuralPartialEq">StructuralPartialEq</a> for <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section></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-InferenceResult%3C'db%3E" class="impl"><a href="#impl-Freeze-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <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.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section><section id="impl-RefUnwindSafe-for-InferenceResult%3C'db%3E" class="impl"><a href="#impl-RefUnwindSafe-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; !<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.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section><section id="impl-Send-for-InferenceResult%3C'db%3E" class="impl"><a href="#impl-Send-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <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.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section><section id="impl-Sync-for-InferenceResult%3C'db%3E" class="impl"><a href="#impl-Sync-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <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.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section><section id="impl-Unpin-for-InferenceResult%3C'db%3E" class="impl"><a href="#impl-Unpin-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <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.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</h3></section><section id="impl-UnwindSafe-for-InferenceResult%3C'db%3E" class="impl"><a href="#impl-UnwindSafe-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; !<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.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a>&lt;'db&gt;</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&lt;T&gt; <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>(&amp;self) -&gt; <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&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/borrow/trait.Borrow.html" title="trait core::borrow::Borrow">Borrow</a>&lt;T&gt; 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>(&amp;self) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.reference.html">&amp;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&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/borrow/trait.BorrowMut.html" title="trait core::borrow::BorrowMut">BorrowMut</a>&lt;T&gt; 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>(&amp;mut self) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.reference.html">&amp;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&lt;T&gt; <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>&lt;U&gt;(self, interner: &lt;U as HasInterner&gt;::Interner) -&gt; U<div class="where">where
Self: CastTo&lt;U&gt;,
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-CloneToUninit-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/clone.rs.html#483">Source</a><a href="#impl-CloneToUninit-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/clone/trait.CloneToUninit.html" title="trait core::clone::CloneToUninit">CloneToUninit</a> for T<div class="where">where
T: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.clone_to_uninit" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/core/clone.rs.html#485">Source</a><a href="#method.clone_to_uninit" class="anchor">§</a><h4 class="code-header">unsafe fn <a href="https://doc.rust-lang.org/1.89.0/core/clone/trait.CloneToUninit.html#tymethod.clone_to_uninit" class="fn">clone_to_uninit</a>(&amp;self, dest: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.pointer.html">*mut </a><a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.u8.html">u8</a>)</h4></section></summary><span class="item-info"><div class="stab unstable"><span class="emoji">🔬</span><span>This is a nightly-only experimental API. (<code>clone_to_uninit</code>)</span></div></span><div class='docblock'>Performs copy-assignment from <code>self</code> to <code>dest</code>. <a href="https://doc.rust-lang.org/1.89.0/core/clone/trait.CloneToUninit.html#tymethod.clone_to_uninit">Read more</a></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&lt;T, R&gt; CollectAndApply&lt;T, R&gt; 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>&lt;I, F&gt;(iter: I, f: F) -&gt; 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>&lt;Item = T&gt;,
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>(&amp;<a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.slice.html">[T]</a>) -&gt; R,</div></h4></section></summary><div class="docblock"><p>Equivalent to <code>f(&amp;iter.collect::&lt;Vec&lt;_&gt;&gt;())</code>.</p>
</div></details><section id="associatedtype.Output-4" class="associatedtype trait-impl"><a href="#associatedtype.Output-4" 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-Equivalent%3CK%3E-for-Q" class="impl"><a href="#impl-Equivalent%3CK%3E-for-Q" class="anchor">§</a><h3 class="code-header">impl&lt;Q, K&gt; Equivalent&lt;K&gt; for Q<div class="where">where
Q: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> + ?<a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,
K: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/borrow/trait.Borrow.html" title="trait core::borrow::Borrow">Borrow</a>&lt;Q&gt; + ?<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.equivalent" class="method trait-impl"><a href="#method.equivalent" class="anchor">§</a><h4 class="code-header">fn <a class="fn">equivalent</a>(&amp;self, key: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.reference.html">&amp;K</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Compare self to <code>key</code> and return <code>true</code> if they are equal.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Equivalent%3CK%3E-for-Q-1" class="impl"><a href="#impl-Equivalent%3CK%3E-for-Q-1" class="anchor">§</a><h3 class="code-header">impl&lt;Q, K&gt; Equivalent&lt;K&gt; for Q<div class="where">where
Q: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> + ?<a class="trait" href="https://doc.rust-lang.org/1.89.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,
K: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/borrow/trait.Borrow.html" title="trait core::borrow::Borrow">Borrow</a>&lt;Q&gt; + ?<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.equivalent-1" class="method trait-impl"><a href="#method.equivalent-1" class="anchor">§</a><h4 class="code-header">fn <a class="fn">equivalent</a>(&amp;self, key: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.reference.html">&amp;K</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Checks if this value is equivalent to the given key. <a>Read more</a></div></details></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&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.From.html" title="trait core::convert::From">From</a>&lt;T&gt; 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) -&gt; 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&lt;T&gt; 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) -&gt; Instrumented&lt;Self&gt;</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) -&gt; Instrumented&lt;Self&gt;</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&lt;T, U&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a>&lt;U&gt; 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>&lt;T&gt;,</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) -&gt; 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>&lt;T&gt; 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&lt;T&gt; IntoBox&lt;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>&gt; 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) -&gt; <a class="struct" href="https://doc.rust-lang.org/1.89.0/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;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>&gt;</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&lt;T&gt; IntoBox&lt;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>&gt; 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) -&gt; <a class="struct" href="https://doc.rust-lang.org/1.89.0/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;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>&gt;</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&lt;T&gt; IntoBox&lt;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>&gt; 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) -&gt; <a class="struct" href="https://doc.rust-lang.org/1.89.0/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;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>&gt;</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&lt;T&gt; <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>) -&gt; <a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a>&lt;Self, Self&gt; <a href="#" class="tooltip" data-notable-ty="Either&lt;Self, Self&gt;">ⓘ</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&lt;Self, Self&gt;</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&lt;Self, Self&gt;</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>&lt;F&gt;(self, into_left: F) -&gt; <a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a>&lt;Self, Self&gt; <a href="#" class="tooltip" data-notable-ty="Either&lt;Self, Self&gt;">ⓘ</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>(&amp;Self) -&gt; <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&lt;Self, Self&gt;</code></a>
if <code>into_left(&amp;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&lt;Self, Self&gt;</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&lt;T&gt; 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: &lt;T as Pointable&gt;::Init) -&gt; <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>&lt;'a&gt;(ptr: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.usize.html">usize</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.reference.html">&amp;'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>&lt;'a&gt;(ptr: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.usize.html">usize</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.reference.html">&amp;'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-ToOwned-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/alloc/borrow.rs.html#82-84">Source</a><a href="#impl-ToOwned-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/alloc/borrow/trait.ToOwned.html" title="trait alloc::borrow::ToOwned">ToOwned</a> for T<div class="where">where
T: <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Owned" class="associatedtype trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/alloc/borrow.rs.html#86">Source</a><a href="#associatedtype.Owned" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.89.0/alloc/borrow/trait.ToOwned.html#associatedtype.Owned" class="associatedtype">Owned</a> = T</h4></section></summary><div class='docblock'>The resulting type after obtaining ownership.</div></details><details class="toggle method-toggle" open><summary><section id="method.to_owned" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/alloc/borrow.rs.html#87">Source</a><a href="#method.to_owned" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/alloc/borrow/trait.ToOwned.html#tymethod.to_owned" class="fn">to_owned</a>(&amp;self) -&gt; T</h4></section></summary><div class='docblock'>Creates owned data from borrowed data, usually by cloning. <a href="https://doc.rust-lang.org/1.89.0/alloc/borrow/trait.ToOwned.html#tymethod.to_owned">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.clone_into" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.89.0/src/alloc/borrow.rs.html#91">Source</a><a href="#method.clone_into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.89.0/alloc/borrow/trait.ToOwned.html#method.clone_into" class="fn">clone_into</a>(&amp;self, target: <a class="primitive" href="https://doc.rust-lang.org/1.89.0/std/primitive.reference.html">&amp;mut T</a>)</h4></section></summary><div class='docblock'>Uses borrowed data to replace owned data, usually by cloning. <a href="https://doc.rust-lang.org/1.89.0/alloc/borrow/trait.ToOwned.html#method.clone_into">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&lt;T, U&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a>&lt;U&gt; 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>&lt;T&gt;,</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) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, &lt;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>&lt;U&gt;&gt;::<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>&gt;</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&lt;T, U&gt; <a class="trait" href="https://doc.rust-lang.org/1.89.0/core/convert/trait.TryInto.html" title="trait core::convert::TryInto">TryInto</a>&lt;U&gt; 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>&lt;T&gt;,</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> = &lt;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>&lt;T&gt;&gt;::<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) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;U, &lt;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>&lt;T&gt;&gt;::<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>&gt;</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&lt;I, T, U&gt; Upcast&lt;I, U&gt; for T<div class="where">where
U: UpcastFrom&lt;I, T&gt;,</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) -&gt; 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&lt;I, T&gt; UpcastFrom&lt;I, T&gt; 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) -&gt; 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&lt;T&gt; 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>&lt;S&gt;(self, subscriber: S) -&gt; WithDispatch&lt;Self&gt;<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>&lt;Dispatch&gt;,</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) -&gt; WithDispatch&lt;Self&gt;</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&lt;'a, T&gt; Captures&lt;'a&gt; 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>&lt;L, R&gt;</code></h3><pre><code><div class=\"where\">impl&lt;L, R&gt; <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>&lt;L, R&gt;<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>&lt;Item = &lt;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>&gt;::<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>&gt;,</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> = &lt;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>&gt;::<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&lt;L, R&gt; <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>&lt;L, R&gt;<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>&lt;Output = &lt;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>&gt;::<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>&gt;,</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> = &lt;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>&gt;::<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&lt;L, R&gt; <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>&lt;L, R&gt;<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&lt;L, R&gt; <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>&lt;L, R&gt;<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>