| <!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"href="../static.files/${f}">`).join(""))</script><link rel="stylesheet" href="../static.files/normalize-9960930a.css"><link rel="stylesheet" href="../static.files/rustdoc-17e0aaed.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.97.1 (8bab26f4f 2026-07-14)" data-channel="1.97.1" data-search-js="search-fd9372ac.js" data-stringdex-js="stringdex-2da4960a.js" data-settings-js="settings-170eb4bf.js" ><script src="../static.files/storage-41dd4d93.js"></script><script defer src="sidebar-items.js"></script><script defer src="../static.files/main-fcd733ba.js"></script><noscript><link rel="stylesheet" href="../static.files/noscript-f7c3ffd8.css"></noscript><link rel="alternate icon" type="image/png" href="../static.files/favicon-32x32-eab170b8.png"><link rel="icon" type="image/svg+xml" href="../static.files/favicon-044be391.svg"></head><body class="rustdoc struct"><a class="skip-main-content" href="#main-content">Skip to main content</a><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><rustdoc-topbar><h2><a href="#">InferenceResult</a></h2></rustdoc-topbar><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.assoc_resolutions" title="assoc_resolutions">assoc_resolutions</a></li><li><a href="#structfield.binding_modes" title="binding_modes">binding_modes</a></li><li><a href="#structfield.closures_data" title="closures_data">closures_data</a></li><li><a href="#structfield.coercion_casts" title="coercion_casts">coercion_casts</a></li><li><a href="#structfield.defined_anon_consts" title="defined_anon_consts">defined_anon_consts</a></li><li><a href="#structfield.diagnostics" title="diagnostics">diagnostics</a></li><li><a href="#structfield.error_ty" title="error_ty">error_ty</a></li><li><a href="#structfield.expr_adjustments" title="expr_adjustments">expr_adjustments</a></li><li><a href="#structfield.field_resolutions" title="field_resolutions">field_resolutions</a></li><li><a href="#structfield.has_errors" title="has_errors">has_errors</a></li><li><a href="#structfield.method_resolutions" title="method_resolutions">method_resolutions</a></li><li><a href="#structfield.nodes_with_type_mismatches" title="nodes_with_type_mismatches">nodes_with_type_mismatches</a></li><li><a href="#structfield.pat_adjustments" title="pat_adjustments">pat_adjustments</a></li><li><a href="#structfield.skipped_ref_pats" title="skipped_ref_pats">skipped_ref_pats</a></li><li><a href="#structfield.tuple_field_access_types" title="tuple_field_access_types">tuple_field_access_types</a></li><li><a href="#structfield.type_of_binding" title="type_of_binding">type_of_binding</a></li><li><a href="#structfield.type_of_expr" title="type_of_expr">type_of_expr</a></li><li><a href="#structfield.type_of_opaque" title="type_of_opaque">type_of_opaque</a></li><li><a href="#structfield.type_of_pat" title="type_of_pat">type_of_pat</a></li><li><a href="#structfield.type_of_type_placeholder" title="type_of_type_placeholder">type_of_type_placeholder</a></li><li><a href="#structfield.variant_resolutions" title="variant_resolutions">variant_resolutions</a></li></ul><h3><a href="#implementations">Associated Functions</a></h3><ul class="block method"><li><a href="#method.for_body" title="for_body">for_body</a></li><li><a href="#method.for_anon_const" title="for_anon_const">for_anon_const</a></li><li><a href="#method.of" title="of">of</a></li><li><a href="#method.new" title="new">new</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_ty" title="binding_ty">binding_ty</a></li><li><a href="#method.binding_types" title="binding_types">binding_types</a></li><li><a href="#method.closure_captures_captured_tys" title="closure_captures_captured_tys">closure_captures_captured_tys</a></li><li><a href="#method.closure_captures_tys" title="closure_captures_tys">closure_captures_tys</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_has_type_mismatch" title="expr_has_type_mismatch">expr_has_type_mismatch</a></li><li><a href="#method.expr_or_pat_has_type_mismatch" title="expr_or_pat_has_type_mismatch">expr_or_pat_has_type_mismatch</a></li><li><a href="#method.expr_or_pat_ty" title="expr_or_pat_ty">expr_or_pat_ty</a></li><li><a href="#method.expr_ty" title="expr_ty">expr_ty</a></li><li><a href="#method.expression_types" title="expression_types">expression_types</a></li><li><a href="#method.exprs_have_type_mismatches" title="exprs_have_type_mismatches">exprs_have_type_mismatches</a></li><li><a href="#method.field_resolution" title="field_resolution">field_resolution</a></li><li><a href="#method.has_type_mismatches" title="has_type_mismatches">has_type_mismatches</a></li><li><a href="#method.is_erroneous" title="is_erroneous">is_erroneous</a></li><li><a href="#method.is_skipped_ref_pat" title="is_skipped_ref_pat">is_skipped_ref_pat</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.pat_has_type_mismatch" title="pat_has_type_mismatch">pat_has_type_mismatch</a></li><li><a href="#method.pat_ty" title="pat_ty">pat_ty</a></li><li><a href="#method.pattern_types" title="pattern_types">pattern_types</a></li><li><a href="#method.placeholder_types" title="placeholder_types">placeholder_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_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.type_of_type_placeholder" title="type_of_type_placeholder">type_of_type_placeholder</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-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><li><a href="#impl-Update-for-InferenceResult%3C'db%3E" title="Update">Update</a></li></ul><h3><a href="#synthetic-implementations">Auto Trait Implementations</a></h3><ul class="block synthetic-implementation"><li><a href="#impl-Freeze-for-InferenceResult%3C'db%3E" title="Freeze">Freeze</a></li><li><a href="#impl-RefUnwindSafe-for-InferenceResult%3C'db%3E" title="RefUnwindSafe">RefUnwindSafe</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><li><a href="#impl-UnsafeUnpin-for-InferenceResult%3C'db%3E" title="UnsafeUnpin">UnsafeUnpin</a></li><li><a href="#impl-UnwindSafe-for-InferenceResult%3C'db%3E" title="UnwindSafe">UnwindSafe</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-CloneToUninit-for-T" title="CloneToUninit">CloneToUninit</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-Equivalent%3CK%3E-for-Q" title="Equivalent<K>">Equivalent<K></a></li><li><a href="#impl-Equivalent%3CK%3E-for-Q-1" title="Equivalent<K>">Equivalent<K></a></li><li><a href="#impl-Equivalent%3CK%3E-for-Q-2" title="Equivalent<K>">Equivalent<K></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+%2B+Sync%3E-for-T" title="IntoBox<dyn Any + Send + Sync>">IntoBox<dyn Any + Send + Sync></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%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-Lookup%3CT%3E-for-T" title="Lookup<T>">Lookup<T></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<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"><section id="main-content" class="content" tabindex="-1"><div class="main-heading"><div class="rustdoc-breadcrumbs"><a href="index.html">hir_ty</a></div><h1>Struct <span class="struct">Inference<wbr>Result</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#756-821">Source</a> </span></div><pre class="rust item-decl"><code>pub struct InferenceResult<'db> {<details class="toggle type-contents-toggle"><summary class="hideme"><span>Show 21 fields</span></summary> |
| method_resolutions: FxHashMap<<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, (FunctionId, <a class="struct" href="next_solver/struct.StoredGenericArgs.html" title="struct hir_ty::next_solver::StoredGenericArgs">StoredGenericArgs</a>)>, |
| field_resolutions: FxHashMap<<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, <a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a><FieldId, TupleFieldId>>, |
| variant_resolutions: FxHashMap<ExprOrPatIdPacked, <a class="enum" href="diagnostics/expr/enum.VariantId.html" title="enum hir_ty::diagnostics::expr::VariantId">VariantId</a>>, |
| assoc_resolutions: FxHashMap<ExprOrPatIdPacked, (<a class="enum" href="method_resolution/enum.CandidateId.html" title="enum hir_ty::method_resolution::CandidateId">CandidateId</a>, <a class="struct" href="next_solver/struct.StoredGenericArgs.html" title="struct hir_ty::next_solver::StoredGenericArgs">StoredGenericArgs</a>)>, |
| tuple_field_access_types: ThinVec<<a class="struct" href="next_solver/struct.StoredTys.html" title="struct hir_ty::next_solver::StoredTys">StoredTys</a>>, |
| pub(crate) type_of_expr: ArenaMap<<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, <a class="struct" href="next_solver/struct.StoredTy.html" title="struct hir_ty::next_solver::StoredTy">StoredTy</a>>, |
| pub(crate) type_of_pat: ArenaMap<<a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>, <a class="struct" href="next_solver/struct.StoredTy.html" title="struct hir_ty::next_solver::StoredTy">StoredTy</a>>, |
| pub(crate) type_of_binding: ArenaMap<BindingId, <a class="struct" href="next_solver/struct.StoredTy.html" title="struct hir_ty::next_solver::StoredTy">StoredTy</a>>, |
| pub(crate) type_of_type_placeholder: FxHashMap<TypeRefId, <a class="struct" href="next_solver/struct.StoredTy.html" title="struct hir_ty::next_solver::StoredTy">StoredTy</a>>, |
| pub(crate) type_of_opaque: FxHashMap<<a class="struct" href="db/struct.InternedOpaqueTyId.html" title="struct hir_ty::db::InternedOpaqueTyId">InternedOpaqueTyId</a><'db>, <a class="struct" href="next_solver/struct.StoredTy.html" title="struct hir_ty::next_solver::StoredTy">StoredTy</a>>, |
| pub(crate) has_errors: <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.bool.html">bool</a>, |
| diagnostics: ThinVec<<a class="enum" href="enum.InferenceDiagnostic.html" title="enum hir_ty::InferenceDiagnostic">InferenceDiagnostic</a>>, |
| nodes_with_type_mismatches: <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="struct" href="https://doc.rust-lang.org/1.97.1/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><FxHashSet<ExprOrPatIdPacked>>>, |
| error_ty: <a class="struct" href="next_solver/struct.StoredTy.html" title="struct hir_ty::next_solver::StoredTy">StoredTy</a>, |
| pub(crate) expr_adjustments: FxHashMap<<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, <a class="struct" href="https://doc.rust-lang.org/1.97.1/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><[<a class="struct" href="struct.Adjustment.html" title="struct hir_ty::Adjustment">Adjustment</a>]>>, |
| pub(crate) pat_adjustments: FxHashMap<<a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>, <a class="struct" href="https://doc.rust-lang.org/1.97.1/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a><<a class="struct" href="infer/struct.PatAdjustment.html" title="struct hir_ty::infer::PatAdjustment">PatAdjustment</a>>>, |
| pub(crate) binding_modes: ArenaMap<<a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>, <a class="struct" href="struct.BindingMode.html" title="struct hir_ty::BindingMode">BindingMode</a>>, |
| skipped_ref_pats: FxHashSet<<a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>>, |
| pub(crate) coercion_casts: FxHashSet<<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>>, |
| pub closures_data: FxHashMap<<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, <a class="struct" href="infer/struct.ClosureData.html" title="struct hir_ty::infer::ClosureData">ClosureData</a>>, |
| defined_anon_consts: ThinVec<<a class="struct" href="db/struct.AnonConstId.html" title="struct hir_ty::db::AnonConstId">AnonConstId</a><'db>>, |
| </details>}</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.method_resolutions" class="structfield section-header"><a href="#structfield.method_resolutions" class="anchor field">§</a><code>method_resolutions: FxHashMap<<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, (FunctionId, <a class="struct" href="next_solver/struct.StoredGenericArgs.html" title="struct hir_ty::next_solver::StoredGenericArgs">StoredGenericArgs</a>)></code></span><div class="docblock"><p>For each method call expr, records the function it resolves to.</p> |
| </div><span id="structfield.field_resolutions" class="structfield section-header"><a href="#structfield.field_resolutions" class="anchor field">§</a><code>field_resolutions: FxHashMap<<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, <a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a><FieldId, TupleFieldId>></code></span><div class="docblock"><p>For each field access expr, records the field it resolves to.</p> |
| </div><span id="structfield.variant_resolutions" class="structfield section-header"><a href="#structfield.variant_resolutions" class="anchor field">§</a><code>variant_resolutions: FxHashMap<ExprOrPatIdPacked, <a class="enum" href="diagnostics/expr/enum.VariantId.html" title="enum hir_ty::diagnostics::expr::VariantId">VariantId</a>></code></span><div class="docblock"><p>For each struct literal or pattern, records the variant it resolves to.</p> |
| </div><span id="structfield.assoc_resolutions" class="structfield section-header"><a href="#structfield.assoc_resolutions" class="anchor field">§</a><code>assoc_resolutions: FxHashMap<ExprOrPatIdPacked, (<a class="enum" href="method_resolution/enum.CandidateId.html" title="enum hir_ty::method_resolution::CandidateId">CandidateId</a>, <a class="struct" href="next_solver/struct.StoredGenericArgs.html" title="struct hir_ty::next_solver::StoredGenericArgs">StoredGenericArgs</a>)></code></span><div class="docblock"><p>For each associated item record what it resolves to</p> |
| </div><span id="structfield.tuple_field_access_types" class="structfield section-header"><a href="#structfield.tuple_field_access_types" class="anchor field">§</a><code>tuple_field_access_types: ThinVec<<a class="struct" href="next_solver/struct.StoredTys.html" title="struct hir_ty::next_solver::StoredTys">StoredTys</a>></code></span><div class="docblock"><p>Whenever a tuple field expression access a tuple field, we allocate a tuple id in |
| <a href="infer/struct.InferenceContext.html" title="struct hir_ty::infer::InferenceContext"><code>InferenceContext</code></a> and store the tuples substitution there. This map is the reverse of |
| that which allows us to resolve a [<code>TupleFieldId</code>]s type.</p> |
| </div><span id="structfield.type_of_expr" class="structfield section-header"><a href="#structfield.type_of_expr" class="anchor field">§</a><code>type_of_expr: ArenaMap<<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, <a class="struct" href="next_solver/struct.StoredTy.html" title="struct hir_ty::next_solver::StoredTy">StoredTy</a>></code></span><span id="structfield.type_of_pat" class="structfield section-header"><a href="#structfield.type_of_pat" class="anchor field">§</a><code>type_of_pat: ArenaMap<<a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>, <a class="struct" href="next_solver/struct.StoredTy.html" title="struct hir_ty::next_solver::StoredTy">StoredTy</a>></code></span><div class="docblock"><p>For each pattern record the type it resolves to.</p> |
| <p><strong>Note</strong>: When a pattern type is resolved it may still contain |
| unresolved or missing subpatterns or subpatterns of mismatched types.</p> |
| </div><span id="structfield.type_of_binding" class="structfield section-header"><a href="#structfield.type_of_binding" class="anchor field">§</a><code>type_of_binding: ArenaMap<BindingId, <a class="struct" href="next_solver/struct.StoredTy.html" title="struct hir_ty::next_solver::StoredTy">StoredTy</a>></code></span><span id="structfield.type_of_type_placeholder" class="structfield section-header"><a href="#structfield.type_of_type_placeholder" class="anchor field">§</a><code>type_of_type_placeholder: FxHashMap<TypeRefId, <a class="struct" href="next_solver/struct.StoredTy.html" title="struct hir_ty::next_solver::StoredTy">StoredTy</a>></code></span><span id="structfield.type_of_opaque" class="structfield section-header"><a href="#structfield.type_of_opaque" class="anchor field">§</a><code>type_of_opaque: FxHashMap<<a class="struct" href="db/struct.InternedOpaqueTyId.html" title="struct hir_ty::db::InternedOpaqueTyId">InternedOpaqueTyId</a><'db>, <a class="struct" href="next_solver/struct.StoredTy.html" title="struct hir_ty::next_solver::StoredTy">StoredTy</a>></code></span><span id="structfield.has_errors" class="structfield section-header"><a href="#structfield.has_errors" class="anchor field">§</a><code>has_errors: <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.bool.html">bool</a></code></span><div class="docblock"><p>Whether there are any type-mismatching errors in the result.</p> |
| </div><span id="structfield.diagnostics" class="structfield section-header"><a href="#structfield.diagnostics" class="anchor field">§</a><code>diagnostics: ThinVec<<a class="enum" href="enum.InferenceDiagnostic.html" title="enum hir_ty::InferenceDiagnostic">InferenceDiagnostic</a>></code></span><div class="docblock"><p>During inference this field is empty and <a href="infer/struct.InferenceContext.html#structfield.diagnostics" title="field hir_ty::infer::InferenceContext::diagnostics"><code>InferenceContext::diagnostics</code></a> is filled instead.</p> |
| </div><span id="structfield.nodes_with_type_mismatches" class="structfield section-header"><a href="#structfield.nodes_with_type_mismatches" class="anchor field">§</a><code>nodes_with_type_mismatches: <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="struct" href="https://doc.rust-lang.org/1.97.1/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><FxHashSet<ExprOrPatIdPacked>>></code></span><span id="structfield.error_ty" class="structfield section-header"><a href="#structfield.error_ty" class="anchor field">§</a><code>error_ty: <a class="struct" href="next_solver/struct.StoredTy.html" title="struct hir_ty::next_solver::StoredTy">StoredTy</a></code></span><div class="docblock"><p>Interned <code>Error</code> type to return references to.</p> |
| </div><span id="structfield.expr_adjustments" class="structfield section-header"><a href="#structfield.expr_adjustments" class="anchor field">§</a><code>expr_adjustments: FxHashMap<<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, <a class="struct" href="https://doc.rust-lang.org/1.97.1/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><[<a class="struct" href="struct.Adjustment.html" title="struct hir_ty::Adjustment">Adjustment</a>]>></code></span><span id="structfield.pat_adjustments" class="structfield section-header"><a href="#structfield.pat_adjustments" class="anchor field">§</a><code>pat_adjustments: FxHashMap<<a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>, <a class="struct" href="https://doc.rust-lang.org/1.97.1/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a><<a class="struct" href="infer/struct.PatAdjustment.html" title="struct hir_ty::infer::PatAdjustment">PatAdjustment</a>>></code></span><div class="docblock"><p>Stores the types which were implicitly dereferenced in pattern binding modes.</p> |
| </div><span id="structfield.binding_modes" class="structfield section-header"><a href="#structfield.binding_modes" class="anchor field">§</a><code>binding_modes: ArenaMap<<a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>, <a class="struct" href="struct.BindingMode.html" title="struct hir_ty::BindingMode">BindingMode</a>></code></span><div class="docblock"><p>Stores the binding mode (<code>ref</code> in <code>let ref x = 2</code>) of bindings.</p> |
| <p>This one is tied to the <code>PatId</code> instead of <code>BindingId</code>, because in some rare cases, a binding in an |
| or pattern can have multiple binding modes. For example:</p> |
| |
| <div class="example-wrap"><pre class="rust rust-example-rendered"><code><span class="kw">fn </span>foo(<span class="kw-2">mut </span>slice: <span class="kw-2">&</span>[u32]) -> usize { |
| slice = <span class="kw">match </span>slice { |
| [<span class="number">0</span>, rest @ ..] | rest => rest, |
| }; |
| <span class="number">0 |
| </span>}</code></pre></div> |
| <p>the first <code>rest</code> has implicit <code>ref</code> binding mode, but the second <code>rest</code> binding mode is <code>move</code>.</p> |
| </div><span id="structfield.skipped_ref_pats" class="structfield section-header"><a href="#structfield.skipped_ref_pats" class="anchor field">§</a><code>skipped_ref_pats: FxHashSet<<a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>></code></span><div class="docblock"><p>Set of reference patterns that match against a match-ergonomics inserted reference |
| (as opposed to against a reference in the scrutinee type).</p> |
| </div><span id="structfield.coercion_casts" class="structfield section-header"><a href="#structfield.coercion_casts" class="anchor field">§</a><code>coercion_casts: FxHashSet<<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>></code></span><span id="structfield.closures_data" class="structfield section-header"><a href="#structfield.closures_data" class="anchor field">§</a><code>closures_data: FxHashMap<<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, <a class="struct" href="infer/struct.ClosureData.html" title="struct hir_ty::infer::ClosureData">ClosureData</a>></code></span><span id="structfield.defined_anon_consts" class="structfield section-header"><a href="#structfield.defined_anon_consts" class="anchor field">§</a><code>defined_anon_consts: ThinVec<<a class="struct" href="db/struct.AnonConstId.html" title="struct hir_ty::db::AnonConstId">AnonConstId</a><'db>></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#1042-1047">Source</a><a href="#impl-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl<'db> <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a><'db></h3></section></summary><div class="impl-items"><section id="method.for_body" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1041">Source</a><h4 class="code-header">fn <a href="#method.for_body" class="fn">for_body</a>( |
| db: &'db dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a>, |
| def: DefWithBodyId, |
| ) -> &'db <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a><'db></h4></section></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-InferenceResult%3C'db%3E-1" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1050-1060">Source</a><a href="#impl-InferenceResult%3C'db%3E-1" class="anchor">§</a><h3 class="code-header">impl<'db> <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a><'db></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.for_anon_const" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1049">Source</a><h4 class="code-header">fn <a href="#method.for_anon_const" class="fn">for_anon_const</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="db/struct.AnonConstId.html" title="struct hir_ty::db::AnonConstId">AnonConstId</a><'db>, |
| ) -> &'db <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a><'db></h4></section></summary><div class="docblock"><p>Infer types for all const expressions in an item’s signature.</p> |
| <p>Returns an <code>InferenceResult</code> containing type information for array lengths, |
| const generic arguments, and other const expressions appearing in type |
| positions within the item’s signature.</p> |
| </div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-InferenceResult%3C'db%3E-2" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1062-1073">Source</a><a href="#impl-InferenceResult%3C'db%3E-2" class="anchor">§</a><h3 class="code-header">impl<'db> <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a><'db></h3></section></summary><div class="impl-items"><section id="method.of" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1064-1072">Source</a><h4 class="code-header">pub fn <a href="#method.of" class="fn">of</a>( |
| db: &'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.97.1/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a><<a class="enum" href="enum.InferBodyId.html" title="enum hir_ty::InferBodyId">InferBodyId</a><'db>>, |
| ) -> &'db <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a><'db></h4></section></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-InferenceResult%3C'db%3E-3" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1075-1284">Source</a><a href="#impl-InferenceResult%3C'db%3E-3" class="anchor">§</a><h3 class="code-header">impl<'db> <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a><'db></h3></section></summary><div class="impl-items"><section id="method.new" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1076-1100">Source</a><h4 class="code-header">fn <a href="#method.new" class="fn">new</a>(error_ty: <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'_>) -> Self</h4></section><section id="method.method_resolution" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1102-1104">Source</a><h4 class="code-header">pub fn <a href="#method.method_resolution" class="fn">method_resolution</a>( |
| &self, |
| expr: <a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><(FunctionId, <a class="struct" href="next_solver/struct.GenericArgs.html" title="struct hir_ty::next_solver::GenericArgs">GenericArgs</a><'db>)></h4></section><section id="method.field_resolution" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1105-1107">Source</a><h4 class="code-header">pub fn <a href="#method.field_resolution" class="fn">field_resolution</a>( |
| &self, |
| expr: <a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a><FieldId, TupleFieldId>></h4></section><section id="method.variant_resolution_for_expr" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1108-1110">Source</a><h4 class="code-header">pub fn <a href="#method.variant_resolution_for_expr" class="fn">variant_resolution_for_expr</a>(&self, id: <a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="enum" href="diagnostics/expr/enum.VariantId.html" title="enum hir_ty::diagnostics::expr::VariantId">VariantId</a>></h4></section><section id="method.variant_resolution_for_pat" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1111-1113">Source</a><h4 class="code-header">pub fn <a href="#method.variant_resolution_for_pat" class="fn">variant_resolution_for_pat</a>(&self, id: <a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="enum" href="diagnostics/expr/enum.VariantId.html" title="enum hir_ty::diagnostics::expr::VariantId">VariantId</a>></h4></section><section id="method.variant_resolution_for_expr_or_pat" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1114-1119">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>( |
| &self, |
| id: ExprOrPatId, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="enum" href="diagnostics/expr/enum.VariantId.html" title="enum hir_ty::diagnostics::expr::VariantId">VariantId</a>></h4></section><section id="method.assoc_resolutions_for_expr" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1120-1125">Source</a><h4 class="code-header">pub fn <a href="#method.assoc_resolutions_for_expr" class="fn">assoc_resolutions_for_expr</a><'a>( |
| &self, |
| id: <a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><(<a class="enum" href="method_resolution/enum.CandidateId.html" title="enum hir_ty::method_resolution::CandidateId">CandidateId</a>, <a class="struct" href="next_solver/struct.GenericArgs.html" title="struct hir_ty::next_solver::GenericArgs">GenericArgs</a><'a>)></h4></section><section id="method.assoc_resolutions_for_pat" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1126-1131">Source</a><h4 class="code-header">pub fn <a href="#method.assoc_resolutions_for_pat" class="fn">assoc_resolutions_for_pat</a><'a>( |
| &self, |
| id: <a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><(<a class="enum" href="method_resolution/enum.CandidateId.html" title="enum hir_ty::method_resolution::CandidateId">CandidateId</a>, <a class="struct" href="next_solver/struct.GenericArgs.html" title="struct hir_ty::next_solver::GenericArgs">GenericArgs</a><'a>)></h4></section><section id="method.assoc_resolutions_for_expr_or_pat" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1132-1140">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><'a>( |
| &self, |
| id: ExprOrPatId, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><(<a class="enum" href="method_resolution/enum.CandidateId.html" title="enum hir_ty::method_resolution::CandidateId">CandidateId</a>, <a class="struct" href="next_solver/struct.GenericArgs.html" title="struct hir_ty::next_solver::GenericArgs">GenericArgs</a><'a>)></h4></section><section id="method.expr_or_pat_has_type_mismatch" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1141-1143">Source</a><h4 class="code-header">pub fn <a href="#method.expr_or_pat_has_type_mismatch" class="fn">expr_or_pat_has_type_mismatch</a>(&self, node: ExprOrPatIdPacked) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.bool.html">bool</a></h4></section><section id="method.expr_has_type_mismatch" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1144-1146">Source</a><h4 class="code-header">pub fn <a href="#method.expr_has_type_mismatch" class="fn">expr_has_type_mismatch</a>(&self, expr: <a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.bool.html">bool</a></h4></section><section id="method.pat_has_type_mismatch" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1147-1149">Source</a><h4 class="code-header">pub fn <a href="#method.pat_has_type_mismatch" class="fn">pat_has_type_mismatch</a>(&self, pat: <a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.bool.html">bool</a></h4></section><section id="method.exprs_have_type_mismatches" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1150-1154">Source</a><h4 class="code-header">pub fn <a href="#method.exprs_have_type_mismatches" class="fn">exprs_have_type_mismatches</a>(&self) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.bool.html">bool</a></h4></section><section id="method.has_type_mismatches" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1155-1157">Source</a><h4 class="code-header">pub fn <a href="#method.has_type_mismatches" class="fn">has_type_mismatches</a>(&self) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.bool.html">bool</a></h4></section><section id="method.placeholder_types" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1158-1160">Source</a><h4 class="code-header">pub fn <a href="#method.placeholder_types" class="fn">placeholder_types</a><'a>(&self) -> impl <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a><Item = (TypeRefId, <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a>)></h4></section><section id="method.type_of_type_placeholder" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1161-1163">Source</a><h4 class="code-header">pub fn <a href="#method.type_of_type_placeholder" class="fn">type_of_type_placeholder</a><'a>( |
| &self, |
| type_ref: TypeRefId, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a>></h4></section><section id="method.type_of_expr_or_pat" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1164-1169">Source</a><h4 class="code-header">pub fn <a href="#method.type_of_expr_or_pat" class="fn">type_of_expr_or_pat</a><'a>(&self, id: ExprOrPatId) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a>></h4></section><section id="method.type_of_expr_with_adjust" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1170-1186">Source</a><h4 class="code-header">pub fn <a href="#method.type_of_expr_with_adjust" class="fn">type_of_expr_with_adjust</a><'a>(&self, id: <a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a>></h4></section><section id="method.type_of_pat_with_adjust" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1187-1192">Source</a><h4 class="code-header">pub fn <a href="#method.type_of_pat_with_adjust" class="fn">type_of_pat_with_adjust</a><'a>(&self, id: <a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>) -> <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a></h4></section><section id="method.is_erroneous" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1193-1195">Source</a><h4 class="code-header">pub fn <a href="#method.is_erroneous" class="fn">is_erroneous</a>(&self) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/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#1197-1199">Source</a><h4 class="code-header">pub fn <a href="#method.diagnostics" class="fn">diagnostics</a>(&self) -> &[<a class="enum" href="enum.InferenceDiagnostic.html" title="enum hir_ty::InferenceDiagnostic">InferenceDiagnostic</a>]</h4></section><section id="method.tuple_field_access_type" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1201-1203">Source</a><h4 class="code-header">pub fn <a href="#method.tuple_field_access_type" class="fn">tuple_field_access_type</a><'a>(&self, id: TupleId) -> <a class="struct" href="next_solver/struct.Tys.html" title="struct hir_ty::next_solver::Tys">Tys</a><'a></h4></section><section id="method.pat_adjustment" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1205-1207">Source</a><h4 class="code-header">pub fn <a href="#method.pat_adjustment" class="fn">pat_adjustment</a>(&self, id: <a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><&[<a class="struct" href="infer/struct.PatAdjustment.html" title="struct hir_ty::infer::PatAdjustment">PatAdjustment</a>]></h4></section><section id="method.expr_adjustment" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1209-1211">Source</a><h4 class="code-header">pub fn <a href="#method.expr_adjustment" class="fn">expr_adjustment</a>(&self, id: <a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><&[<a class="struct" href="struct.Adjustment.html" title="struct hir_ty::Adjustment">Adjustment</a>]></h4></section><section id="method.binding_mode" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1213-1215">Source</a><h4 class="code-header">pub fn <a href="#method.binding_mode" class="fn">binding_mode</a>(&self, id: <a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="struct" href="struct.BindingMode.html" title="struct hir_ty::BindingMode">BindingMode</a>></h4></section><section id="method.expression_types" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1218-1220">Source</a><h4 class="code-header">pub fn <a href="#method.expression_types" class="fn">expression_types</a><'a>(&self) -> impl <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a><Item = (<a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a>)></h4></section><section id="method.pattern_types" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1223-1225">Source</a><h4 class="code-header">pub fn <a href="#method.pattern_types" class="fn">pattern_types</a><'a>(&self) -> impl <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a><Item = (<a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>, <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a>)></h4></section><section id="method.binding_types" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1228-1230">Source</a><h4 class="code-header">pub fn <a href="#method.binding_types" class="fn">binding_types</a><'a>(&self) -> impl <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a><Item = (BindingId, <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a>)></h4></section><section id="method.return_position_impl_trait_types" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1233-1243">Source</a><h4 class="code-header">pub fn <a href="#method.return_position_impl_trait_types" class="fn">return_position_impl_trait_types</a><'a>( |
| &'a self, |
| db: &'a dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a>, |
| ) -> impl <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a><Item = (<a class="type" href="lower/type.ImplTraitIdx.html" title="type hir_ty::lower::ImplTraitIdx">ImplTraitIdx</a>, <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a>)></h4></section><section id="method.expr_ty" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1245-1247">Source</a><h4 class="code-header">pub fn <a href="#method.expr_ty" class="fn">expr_ty</a><'a>(&self, id: <a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>) -> <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a></h4></section><section id="method.pat_ty" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1249-1251">Source</a><h4 class="code-header">pub fn <a href="#method.pat_ty" class="fn">pat_ty</a><'a>(&self, id: <a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>) -> <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a></h4></section><section id="method.expr_or_pat_ty" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1253-1255">Source</a><h4 class="code-header">pub fn <a href="#method.expr_or_pat_ty" class="fn">expr_or_pat_ty</a><'a>(&self, id: ExprOrPatId) -> <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a></h4></section><section id="method.binding_ty" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1257-1259">Source</a><h4 class="code-header">pub fn <a href="#method.binding_ty" class="fn">binding_ty</a><'a>(&self, id: BindingId) -> <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a></h4></section><details class="toggle method-toggle" open><summary><section id="method.closure_captures_tys" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1262-1267">Source</a><h4 class="code-header">pub fn <a href="#method.closure_captures_tys" class="fn">closure_captures_tys</a><'a>( |
| &self, |
| closure: <a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, |
| ) -> impl <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a><Item = <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a>></h4></section></summary><div class="docblock"><p>This does not deduplicate, which means you’ll get the types once per capture.</p> |
| </div></details><details class="toggle method-toggle" open><summary><section id="method.closure_captures_captured_tys" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1270-1279">Source</a><h4 class="code-header">pub fn <a href="#method.closure_captures_captured_tys" class="fn">closure_captures_captured_tys</a><'a>( |
| &self, |
| db: &'a dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a>, |
| closure: <a class="type" href="diagnostics/expr/type.ExprId.html" title="type hir_ty::diagnostics::expr::ExprId">ExprId</a>, |
| ) -> impl <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a><Item = <a class="struct" href="next_solver/struct.Ty.html" title="struct hir_ty::next_solver::Ty">Ty</a><'a>></h4></section></summary><div class="docblock"><p>Like <a href="struct.InferenceResult.html#method.closure_captures_tys" title="method hir_ty::InferenceResult::closure_captures_tys"><code>Self::closure_captures_tys()</code></a>, but using <a href="infer/struct.CapturedPlace.html#method.captured_ty" title="method hir_ty::infer::CapturedPlace::captured_ty"><code>CapturedPlace::captured_ty()</code></a>.</p> |
| </div></details><section id="method.is_skipped_ref_pat" class="method"><a class="src rightside" href="../src/hir_ty/infer.rs.html#1281-1283">Source</a><h4 class="code-header">pub fn <a href="#method.is_skipped_ref_pat" class="fn">is_skipped_ref_pat</a>(&self, pat: <a class="type" href="diagnostics/expr/type.PatId.html" title="type hir_ty::diagnostics::expr::PatId">PatId</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.bool.html">bool</a></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#755">Source</a><a href="#impl-Clone-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl<'db> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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><'db></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#755">Source</a><a href="#method.clone" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/core/clone/trait.Clone.html#tymethod.clone" class="fn">clone</a>(&self) -> <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a><'db></h4></section></summary><div class='docblock'>Returns a duplicate of the value. <a href="https://doc.rust-lang.org/1.97.1/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, const unstable">1.0.0 (const: <a href="https://github.com/rust-lang/rust/issues/142757" title="Tracking issue for const_clone">unstable</a>)</span> · <a class="src" href="https://doc.rust-lang.org/1.97.1/src/core/clone.rs.html#245-247">Source</a></span><a href="#method.clone_from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/core/clone/trait.Clone.html#method.clone_from" class="fn">clone_from</a>(&mut self, source: &Self)</h4></section></summary><div class='docblock'>Performs copy-assignment from <code>source</code>. <a href="https://doc.rust-lang.org/1.97.1/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#755">Source</a><a href="#impl-Debug-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl<'db> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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><'db></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#755">Source</a><a href="#method.fmt" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/core/fmt/trait.Debug.html#tymethod.fmt" class="fn">fmt</a>(&self, f: &mut <a class="struct" href="https://doc.rust-lang.org/1.97.1/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>) -> <a class="type" href="https://doc.rust-lang.org/1.97.1/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.97.1/core/fmt/trait.Debug.html#tymethod.fmt">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#755">Source</a><a href="#impl-PartialEq-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl<'db> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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><'db></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#755">Source</a><a href="#method.eq" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/core/cmp/trait.PartialEq.html#tymethod.eq" class="fn">eq</a>(&self, other: &<a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a><'db>) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/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, const unstable">1.0.0 (const: <a href="https://github.com/rust-lang/rust/issues/143800" title="Tracking issue for const_cmp">unstable</a>)</span> · <a class="src" href="https://doc.rust-lang.org/1.97.1/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.97.1/core/cmp/trait.PartialEq.html#method.ne" class="fn">ne</a>(&self, other: <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.reference.html">&Rhs</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/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><details class="toggle implementors-toggle" open><summary><section id="impl-Update-for-InferenceResult%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#755">Source</a><a href="#impl-Update-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl<'db> Update for <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a><'db></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.maybe_update" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#755">Source</a><a href="#method.maybe_update" class="anchor">§</a><h4 class="code-header">unsafe fn <a class="fn">maybe_update</a>(old_pointer_: <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.pointer.html">*mut </a>Self, new_value_: Self) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Returns <a>Read more</a></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#755">Source</a><a href="#impl-Eq-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl<'db> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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><'db></h3></section><section id="impl-StructuralPartialEq-for-InferenceResult%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir_ty/infer.rs.html#755">Source</a><a href="#impl-StructuralPartialEq-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl<'db> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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><'db></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<'db> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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><'db></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<'db> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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><'db></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<'db> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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><'db></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<'db> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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><'db></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<'db> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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><'db></h3></section><section id="impl-UnsafeUnpin-for-InferenceResult%3C'db%3E" class="impl"><a href="#impl-UnsafeUnpin-for-InferenceResult%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl<'db> <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/marker/trait.UnsafeUnpin.html" title="trait core::marker::UnsafeUnpin">UnsafeUnpin</a> for <a class="struct" href="struct.InferenceResult.html" title="struct hir_ty::InferenceResult">InferenceResult</a><'db></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<'db> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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><'db></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.97.1/src/core/any.rs.html#141">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.97.1/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.97.1/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.97.1/src/core/any.rs.html#142">Source</a><a href="#method.type_id" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/core/any/trait.Any.html#tymethod.type_id" class="fn">type_id</a>(&self) -> <a class="struct" href="https://doc.rust-lang.org/1.97.1/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.97.1/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.97.1/src/core/borrow.rs.html#212">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.97.1/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.97.1/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.97.1/src/core/borrow.rs.html#214">Source</a><a href="#method.borrow" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/core/borrow/trait.Borrow.html#tymethod.borrow" class="fn">borrow</a>(&self) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/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.97.1/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.97.1/src/core/borrow.rs.html#221">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.97.1/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.97.1/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.97.1/src/core/borrow.rs.html#222">Source</a><a href="#method.borrow_mut" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/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.97.1/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.97.1/core/borrow/trait.BorrowMut.html#tymethod.borrow_mut">Read more</a></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.97.1/src/core/clone.rs.html#547">Source</a><a href="#impl-CloneToUninit-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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.97.1/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.97.1/src/core/clone.rs.html#549">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.97.1/core/clone/trait.CloneToUninit.html#tymethod.clone_to_uninit" class="fn">clone_to_uninit</a>(&self, dest: <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.pointer.html">*mut </a><a class="primitive" href="https://doc.rust-lang.org/1.97.1/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.97.1/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<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.97.1/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.97.1/core/ops/function/trait.FnOnce.html" title="trait core::ops::function::FnOnce">FnOnce</a>(&<a class="primitive" href="https://doc.rust-lang.org/1.97.1/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-Equivalent%3CK%3E-for-Q" class="impl"><a href="#impl-Equivalent%3CK%3E-for-Q" class="anchor">§</a><h3 class="code-header">impl<Q, K> Equivalent<K> for Q<div class="where">where |
| Q: <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> + ?<a class="trait" href="https://doc.rust-lang.org/1.97.1/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>, |
| K: <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/borrow/trait.Borrow.html" title="trait core::borrow::Borrow">Borrow</a><Q> + ?<a class="trait" href="https://doc.rust-lang.org/1.97.1/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>(&self, key: <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.reference.html">&K</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/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<Q, K> Equivalent<K> for Q<div class="where">where |
| Q: <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> + ?<a class="trait" href="https://doc.rust-lang.org/1.97.1/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>, |
| K: <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/borrow/trait.Borrow.html" title="trait core::borrow::Borrow">Borrow</a><Q> + ?<a class="trait" href="https://doc.rust-lang.org/1.97.1/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>(&self, key: <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.reference.html">&K</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/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-Equivalent%3CK%3E-for-Q-2" class="impl"><a href="#impl-Equivalent%3CK%3E-for-Q-2" class="anchor">§</a><h3 class="code-header">impl<Q, K> Equivalent<K> for Q<div class="where">where |
| Q: <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> + ?<a class="trait" href="https://doc.rust-lang.org/1.97.1/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>, |
| K: <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/borrow/trait.Borrow.html" title="trait core::borrow::Borrow">Borrow</a><Q> + ?<a class="trait" href="https://doc.rust-lang.org/1.97.1/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-2" class="method trait-impl"><a href="#method.equivalent-2" class="anchor">§</a><h4 class="code-header">fn <a class="fn">equivalent</a>(&self, key: <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.reference.html">&K</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/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.97.1/src/core/convert/mod.rs.html#786">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.97.1/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.97.1/src/core/convert/mod.rs.html#789">Source</a><a href="#method.from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/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.97.1/src/core/convert/mod.rs.html#768-770">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.97.1/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.97.1/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.97.1/src/core/convert/mod.rs.html#778">Source</a><a href="#method.into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/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.97.1/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.97.1/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.97.1/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.97.1/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><dyn <a class="trait" href="https://doc.rust-lang.org/1.97.1/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.97.1/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.97.1/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.97.1/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.97.1/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.97.1/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><dyn <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.97.1/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.97.1/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> + <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a>> for T<div class="where">where |
| T: <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> + <a class="trait" href="https://doc.rust-lang.org/1.97.1/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.97.1/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><dyn <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> + <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</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.97.1/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.97.1/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.97.1/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-Lookup%3CT%3E-for-T" class="impl"><a href="#impl-Lookup%3CT%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> Lookup<T> for T</h3></section></summary><div class="impl-items"><section id="method.into_owned" class="method trait-impl"><a href="#method.into_owned" class="anchor">§</a><h4 class="code-header">fn <a class="fn">into_owned</a>(self) -> T</h4></section></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.97.1/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.97.1/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.97.1/std/primitive.usize.html">usize</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/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.97.1/std/primitive.usize.html">usize</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.97.1/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.97.1/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.97.1/src/alloc/borrow.rs.html#72-74">Source</a><a href="#impl-ToOwned-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://doc.rust-lang.org/1.97.1/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.97.1/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.97.1/src/alloc/borrow.rs.html#76">Source</a><a href="#associatedtype.Owned" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.97.1/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.97.1/src/alloc/borrow.rs.html#77">Source</a><a href="#method.to_owned" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/alloc/borrow/trait.ToOwned.html#tymethod.to_owned" class="fn">to_owned</a>(&self) -> T</h4></section></summary><div class='docblock'>Creates owned data from borrowed data, usually by cloning. <a href="https://doc.rust-lang.org/1.97.1/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.97.1/src/alloc/borrow.rs.html#81">Source</a><a href="#method.clone_into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/alloc/borrow/trait.ToOwned.html#method.clone_into" class="fn">clone_into</a>(&self, target: <a class="primitive" href="https://doc.rust-lang.org/1.97.1/std/primitive.reference.html">&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.97.1/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.97.1/src/core/convert/mod.rs.html#828-830">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.97.1/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.97.1/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.97.1/src/core/convert/mod.rs.html#832">Source</a><a href="#associatedtype.Error-1" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.97.1/core/convert/trait.TryFrom.html#associatedtype.Error" class="associatedtype">Error</a> = <a class="enum" href="https://doc.rust-lang.org/1.97.1/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.97.1/src/core/convert/mod.rs.html#835">Source</a><a href="#method.try_from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/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.97.1/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.97.1/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><U>>::<a class="associatedtype" href="https://doc.rust-lang.org/1.97.1/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.97.1/src/core/convert/mod.rs.html#812-814">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.97.1/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.97.1/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.97.1/src/core/convert/mod.rs.html#816">Source</a><a href="#associatedtype.Error" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.97.1/core/convert/trait.TryInto.html#associatedtype.Error" class="associatedtype">Error</a> = <U as <a class="trait" href="https://doc.rust-lang.org/1.97.1/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><T>>::<a class="associatedtype" href="https://doc.rust-lang.org/1.97.1/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.97.1/src/core/convert/mod.rs.html#819">Source</a><a href="#method.try_into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.97.1/core/convert/trait.TryInto.html#tymethod.try_into" class="fn">try_into</a>(self) -> <a class="enum" href="https://doc.rust-lang.org/1.97.1/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.97.1/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><T>>::<a class="associatedtype" href="https://doc.rust-lang.org/1.97.1/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.97.1/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="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></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.97.1/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.97.1/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.97.1/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.97.1/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.97.1/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.97.1/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.97.1/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.97.1/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.97.1/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.97.1/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.97.1/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.97.1/core/future/future/trait.Future.html\" title=\"trait core::future::future::Future\">Future</a>>::<a class=\"associatedtype\" href=\"https://doc.rust-lang.org/1.97.1/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.97.1/core/future/future/trait.Future.html#associatedtype.Output\" class=\"associatedtype\">Output</a> = <L as <a class=\"trait\" href=\"https://doc.rust-lang.org/1.97.1/core/future/future/trait.Future.html\" title=\"trait core::future::future::Future\">Future</a>>::<a class=\"associatedtype\" href=\"https://doc.rust-lang.org/1.97.1/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.97.1/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.97.1/std/io/trait.Read.html\" title=\"trait std::io::Read\">Read</a>,\n R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.97.1/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.97.1/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.97.1/std/io/trait.Write.html\" title=\"trait std::io::Write\">Write</a>,\n R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.97.1/std/io/trait.Write.html\" title=\"trait std::io::Write\">Write</a>,</div></div>"}</script></section></div></main></body></html> |
