rust-analyzer/hir/struct.SemanticsImpl.html
github-merge-queue[bot] cddc2a952f deploy: 9923b0085c
2025-01-11 06:35:13 +00:00

183 lines
No EOL
88 KiB
HTML
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

<!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="API documentation for the Rust `SemanticsImpl` struct in crate `hir`."><title>SemanticsImpl in hir - Rust</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-6b053e98.ttf.woff2,FiraSans-Regular-0fe48ade.woff2,FiraSans-Medium-e1aa3f0a.woff2,SourceCodePro-Regular-8badfe75.ttf.woff2,SourceCodePro-Semibold-aa29a496.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/${f}">`).join(""))</script><link rel="stylesheet" href="../static.files/normalize-9960930a.css"><link rel="stylesheet" href="../static.files/rustdoc-42caa33d.css"><meta name="rustdoc-vars" data-root-path="../" data-static-root-path="../static.files/" data-current-crate="hir" data-themes="" data-resource-suffix="" data-rustdoc-version="1.84.0 (9fc6b4312 2025-01-07)" data-channel="1.84.0" data-search-js="search-92e6798f.js" data-settings-js="settings-0f613d39.js" ><script src="../static.files/storage-59e33391.js"></script><script defer src="sidebar-items.js"></script><script defer src="../static.files/main-5f194d8c.js"></script><noscript><link rel="stylesheet" href="../static.files/noscript-893ab5e7.css"></noscript><link rel="alternate icon" type="image/png" href="../static.files/favicon-32x32-6580c154.png"><link rel="icon" type="image/svg+xml" href="../static.files/favicon-044be391.svg"></head><body class="rustdoc struct"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../hir/index.html">hir</a><span class="version">0.0.0</span></h2></div><div class="sidebar-elems"><section id="rustdoc-toc"><h2 class="location"><a href="#">Semantics<wbr>Impl</a></h2><h3><a href="#fields">Fields</a></h3><ul class="block structfield"><li><a href="#structfield.db" title="db">db</a></li></ul><h3><a href="#implementations">Methods</a></h3><ul class="block method"><li><a href="#method.ancestors_at_offset_with_macros" title="ancestors_at_offset_with_macros">ancestors_at_offset_with_macros</a></li><li><a href="#method.ancestors_with_macros" title="ancestors_with_macros">ancestors_with_macros</a></li><li><a href="#method.as_format_args_parts" title="as_format_args_parts">as_format_args_parts</a></li><li><a href="#method.assert_contains_node" title="assert_contains_node">assert_contains_node</a></li><li><a href="#method.attach_first_edition" title="attach_first_edition">attach_first_edition</a></li><li><a href="#method.binding_mode_of_pat" title="binding_mode_of_pat">binding_mode_of_pat</a></li><li><a href="#method.check_cfg_attr" title="check_cfg_attr">check_cfg_attr</a></li><li><a href="#method.check_for_format_args_template" title="check_for_format_args_template">check_for_format_args_template</a></li><li><a href="#method.derive_helper" title="derive_helper">derive_helper</a></li><li><a href="#method.derive_helpers_in_scope" title="derive_helpers_in_scope">derive_helpers_in_scope</a></li><li><a href="#method.descend_into_macros" title="descend_into_macros">descend_into_macros</a></li><li><a href="#method.descend_into_macros_breakable" title="descend_into_macros_breakable">descend_into_macros_breakable</a></li><li><a href="#method.descend_into_macros_cb" title="descend_into_macros_cb">descend_into_macros_cb</a></li><li><a href="#method.descend_into_macros_exact" title="descend_into_macros_exact">descend_into_macros_exact</a></li><li><a href="#method.descend_into_macros_no_opaque" title="descend_into_macros_no_opaque">descend_into_macros_no_opaque</a></li><li><a href="#method.descend_into_macros_single_exact" title="descend_into_macros_single_exact">descend_into_macros_single_exact</a></li><li><a href="#method.descend_node_into_attributes" title="descend_node_into_attributes">descend_node_into_attributes</a></li><li><a href="#method.diagnostics_display_range" title="diagnostics_display_range">diagnostics_display_range</a></li><li><a href="#method.expand" title="expand">expand</a></li><li><a href="#method.expand_allowed_builtins" title="expand_allowed_builtins">expand_allowed_builtins</a></li><li><a href="#method.expand_attr_macro" title="expand_attr_macro">expand_attr_macro</a></li><li><a href="#method.expand_derive_as_pseudo_attr_macro" title="expand_derive_as_pseudo_attr_macro">expand_derive_as_pseudo_attr_macro</a></li><li><a href="#method.expand_derive_macro" title="expand_derive_macro">expand_derive_macro</a></li><li><a href="#method.expand_macro_call" title="expand_macro_call">expand_macro_call</a></li><li><a href="#method.expr_adjustments" title="expr_adjustments">expr_adjustments</a></li><li><a href="#method.find_parent_file" title="find_parent_file">find_parent_file</a></li><li><a href="#method.is_attr_macro_call" title="is_attr_macro_call">is_attr_macro_call</a></li><li><a href="#method.is_derive_annotated" title="is_derive_annotated">is_derive_annotated</a></li><li><a href="#method.is_inside_unsafe" title="is_inside_unsafe">is_inside_unsafe</a></li><li><a href="#method.is_proc_macro_call" title="is_proc_macro_call">is_proc_macro_call</a></li><li><a href="#method.is_unsafe_ident_pat" title="is_unsafe_ident_pat">is_unsafe_ident_pat</a></li><li><a href="#method.is_unsafe_macro_call" title="is_unsafe_macro_call">is_unsafe_macro_call</a></li><li><a href="#method.is_unsafe_method_call" title="is_unsafe_method_call">is_unsafe_method_call</a></li><li><a href="#method.is_unsafe_ref_expr" title="is_unsafe_ref_expr">is_unsafe_ref_expr</a></li><li><a href="#method.might_be_inside_macro_call" title="might_be_inside_macro_call">might_be_inside_macro_call</a></li><li><a href="#method.module_definition_node" title="module_definition_node">module_definition_node</a></li><li><a href="#method.original_ast_node" title="original_ast_node">original_ast_node</a></li><li><a href="#method.original_range" title="original_range">original_range</a></li><li><a href="#method.original_range_opt" title="original_range_opt">original_range_opt</a></li><li><a href="#method.original_syntax_node_rooted" title="original_syntax_node_rooted">original_syntax_node_rooted</a></li><li><a href="#method.parse" title="parse">parse</a></li><li><a href="#method.parse_guess_edition" title="parse_guess_edition">parse_guess_edition</a></li><li><a href="#method.parse_or_expand" title="parse_or_expand">parse_or_expand</a></li><li><a href="#method.pattern_adjustments" title="pattern_adjustments">pattern_adjustments</a></li><li><a href="#method.record_literal_missing_fields" title="record_literal_missing_fields">record_literal_missing_fields</a></li><li><a href="#method.record_pattern_missing_fields" title="record_pattern_missing_fields">record_pattern_missing_fields</a></li><li><a href="#method.resolve_attr_macro_call" title="resolve_attr_macro_call">resolve_attr_macro_call</a></li><li><a href="#method.resolve_bind_pat_to_const" title="resolve_bind_pat_to_const">resolve_bind_pat_to_const</a></li><li><a href="#method.resolve_derive_macro" title="resolve_derive_macro">resolve_derive_macro</a></li><li><a href="#method.resolve_expr_as_callable" title="resolve_expr_as_callable">resolve_expr_as_callable</a></li><li><a href="#method.resolve_field" title="resolve_field">resolve_field</a></li><li><a href="#method.resolve_field_fallback" title="resolve_field_fallback">resolve_field_fallback</a></li><li><a href="#method.resolve_label" title="resolve_label">resolve_label</a></li><li><a href="#method.resolve_lifetime_param" title="resolve_lifetime_param">resolve_lifetime_param</a></li><li><a href="#method.resolve_macro_call" title="resolve_macro_call">resolve_macro_call</a></li><li><a href="#method.resolve_macro_call_arm" title="resolve_macro_call_arm">resolve_macro_call_arm</a></li><li><a href="#method.resolve_method_call" title="resolve_method_call">resolve_method_call</a></li><li><a href="#method.resolve_method_call_as_callable" title="resolve_method_call_as_callable">resolve_method_call_as_callable</a></li><li><a href="#method.resolve_method_call_fallback" title="resolve_method_call_fallback">resolve_method_call_fallback</a></li><li><a href="#method.resolve_mod_path" title="resolve_mod_path">resolve_mod_path</a></li><li><a href="#method.resolve_mod_path_relative" title="resolve_mod_path_relative">resolve_mod_path_relative</a></li><li><a href="#method.resolve_path" title="resolve_path">resolve_path</a></li><li><a href="#method.resolve_path_with_subst" title="resolve_path_with_subst">resolve_path_with_subst</a></li><li><a href="#method.resolve_record_field" title="resolve_record_field">resolve_record_field</a></li><li><a href="#method.resolve_record_field_with_substitution" title="resolve_record_field_with_substitution">resolve_record_field_with_substitution</a></li><li><a href="#method.resolve_record_pat_field" title="resolve_record_pat_field">resolve_record_pat_field</a></li><li><a href="#method.resolve_record_pat_field_with_subst" title="resolve_record_pat_field_with_subst">resolve_record_pat_field_with_subst</a></li><li><a href="#method.resolve_trait" title="resolve_trait">resolve_trait</a></li><li><a href="#method.resolve_type" title="resolve_type">resolve_type</a></li><li><a href="#method.resolve_use_type_arg" title="resolve_use_type_arg">resolve_use_type_arg</a></li><li><a href="#method.scope" title="scope">scope</a></li><li><a href="#method.scope_at_offset" title="scope_at_offset">scope_at_offset</a></li><li><a href="#method.source" title="source">source</a></li><li><a href="#method.speculative_expand_attr_macro" title="speculative_expand_attr_macro">speculative_expand_attr_macro</a></li><li><a href="#method.speculative_expand_derive_as_pseudo_attr_macro" title="speculative_expand_derive_as_pseudo_attr_macro">speculative_expand_derive_as_pseudo_attr_macro</a></li><li><a href="#method.speculative_expand_macro_call" title="speculative_expand_macro_call">speculative_expand_macro_call</a></li><li><a href="#method.speculative_expand_raw" title="speculative_expand_raw">speculative_expand_raw</a></li><li><a href="#method.to_def" title="to_def">to_def</a></li><li><a href="#method.type_of_binding_in_pat" title="type_of_binding_in_pat">type_of_binding_in_pat</a></li><li><a href="#method.type_of_expr" title="type_of_expr">type_of_expr</a></li><li><a href="#method.type_of_pat" title="type_of_pat">type_of_pat</a></li><li><a href="#method.type_of_self" title="type_of_self">type_of_self</a></li></ul><h3><a href="#synthetic-implementations">Auto Trait Implementations</a></h3><ul class="block synthetic-implementation"><li><a href="#impl-Freeze-for-SemanticsImpl%3C'db%3E" title="!Freeze">!Freeze</a></li><li><a href="#impl-RefUnwindSafe-for-SemanticsImpl%3C'db%3E" title="!RefUnwindSafe">!RefUnwindSafe</a></li><li><a href="#impl-Send-for-SemanticsImpl%3C'db%3E" title="!Send">!Send</a></li><li><a href="#impl-Sync-for-SemanticsImpl%3C'db%3E" title="!Sync">!Sync</a></li><li><a href="#impl-UnwindSafe-for-SemanticsImpl%3C'db%3E" title="!UnwindSafe">!UnwindSafe</a></li><li><a href="#impl-Unpin-for-SemanticsImpl%3C'db%3E" title="Unpin">Unpin</a></li></ul><h3><a href="#blanket-implementations">Blanket Implementations</a></h3><ul class="block blanket-implementation"><li><a href="#impl-Any-for-T" title="Any">Any</a></li><li><a href="#impl-Borrow%3CT%3E-for-T" title="Borrow&#60;T&#62;">Borrow&#60;T&#62;</a></li><li><a href="#impl-BorrowMut%3CT%3E-for-T" title="BorrowMut&#60;T&#62;">BorrowMut&#60;T&#62;</a></li><li><a href="#impl-Captures%3C'a%3E-for-T" title="Captures&#60;&#39;a&#62;">Captures&#60;&#39;a&#62;</a></li><li><a href="#impl-Cast-for-T" title="Cast">Cast</a></li><li><a href="#impl-From%3CT%3E-for-T" title="From&#60;T&#62;">From&#60;T&#62;</a></li><li><a href="#impl-Instrument-for-T" title="Instrument">Instrument</a></li><li><a href="#impl-Into%3CU%3E-for-T" title="Into&#60;U&#62;">Into&#60;U&#62;</a></li><li><a href="#impl-IntoBox%3Cdyn+Any%3E-for-T" title="IntoBox&#60;dyn Any&#62;">IntoBox&#60;dyn Any&#62;</a></li><li><a href="#impl-IntoEither-for-T" title="IntoEither">IntoEither</a></li><li><a href="#impl-TryFrom%3CU%3E-for-T" title="TryFrom&#60;U&#62;">TryFrom&#60;U&#62;</a></li><li><a href="#impl-TryInto%3CU%3E-for-T" title="TryInto&#60;U&#62;">TryInto&#60;U&#62;</a></li><li><a href="#impl-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</a></h2></div></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><span class="rustdoc-breadcrumbs"><a href="index.html">hir</a></span><h1>Struct <span class="struct">SemanticsImpl</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/semantics.rs.html#136-143">Source</a> </span></div><pre class="rust item-decl"><code>pub struct SemanticsImpl&lt;'db&gt; {
pub db: &amp;'db dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir::db::HirDatabase">HirDatabase</a>,
<span class="comment">/* private fields */</span>
}</code></pre><h2 id="fields" class="fields section-header">Fields<a href="#fields" class="anchor">§</a></h2><span id="structfield.db" class="structfield section-header"><a href="#structfield.db" class="anchor field">§</a><code>db: &amp;'db dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir::db::HirDatabase">HirDatabase</a></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-SemanticsImpl%3C'db%3E" class="impl"><a class="src rightside" href="../src/hir/semantics.rs.html#305-1909">Source</a><a href="#impl-SemanticsImpl%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <a class="struct" href="struct.SemanticsImpl.html" title="struct hir::SemanticsImpl">SemanticsImpl</a>&lt;'db&gt;</h3></section></summary><div class="impl-items"><section id="method.parse" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#315-319">Source</a><h4 class="code-header">pub fn <a href="#method.parse" class="fn">parse</a>(&amp;self, file_id: EditionedFileId) -&gt; SourceFile</h4></section><section id="method.attach_first_edition" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#321-326">Source</a><h4 class="code-header">pub fn <a href="#method.attach_first_edition" class="fn">attach_first_edition</a>(&amp;self, file: FileId) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;EditionedFileId&gt;</h4></section><section id="method.parse_guess_edition" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#328-335">Source</a><h4 class="code-header">pub fn <a href="#method.parse_guess_edition" class="fn">parse_guess_edition</a>(&amp;self, file_id: FileId) -&gt; SourceFile</h4></section><section id="method.find_parent_file" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#337-365">Source</a><h4 class="code-header">pub fn <a href="#method.find_parent_file" class="fn">find_parent_file</a>(&amp;self, file_id: <a class="struct" href="struct.HirFileId.html" title="struct hir::HirFileId">HirFileId</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="type" href="type.InFile.html" title="type hir::InFile">InFile</a>&lt;SyntaxNode&gt;&gt;</h4></section><details class="toggle method-toggle" open><summary><section id="method.module_definition_node" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#369-376">Source</a><h4 class="code-header">pub fn <a href="#method.module_definition_node" class="fn">module_definition_node</a>(&amp;self, module: <a class="struct" href="struct.Module.html" title="struct hir::Module">Module</a>) -&gt; <a class="type" href="type.InFile.html" title="type hir::InFile">InFile</a>&lt;SyntaxNode&gt;</h4></section></summary><div class="docblock"><p>Returns the <code>SyntaxNode</code> of the module. If this is a file module, returns
the <code>SyntaxNode</code> of the <em>definition</em> file, not of the <em>declaration</em>.</p>
</div></details><section id="method.parse_or_expand" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#378-382">Source</a><h4 class="code-header">pub fn <a href="#method.parse_or_expand" class="fn">parse_or_expand</a>(&amp;self, file_id: <a class="struct" href="struct.HirFileId.html" title="struct hir::HirFileId">HirFileId</a>) -&gt; SyntaxNode</h4></section><section id="method.expand" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#384-388">Source</a><h4 class="code-header">pub fn <a href="#method.expand" class="fn">expand</a>(&amp;self, file_id: <a class="struct" href="struct.MacroFileId.html" title="struct hir::MacroFileId">MacroFileId</a>) -&gt; <a class="type" href="type.ExpandResult.html" title="type hir::ExpandResult">ExpandResult</a>&lt;SyntaxNode&gt;</h4></section><section id="method.expand_macro_call" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#390-404">Source</a><h4 class="code-header">pub fn <a href="#method.expand_macro_call" class="fn">expand_macro_call</a>(&amp;self, macro_call: &amp;MacroCall) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;SyntaxNode&gt;</h4></section><section id="method.check_cfg_attr" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#406-417">Source</a><h4 class="code-header">pub fn <a href="#method.check_cfg_attr" class="fn">check_cfg_attr</a>(&amp;self, attr: &amp;TokenTree) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.bool.html">bool</a>&gt;</h4></section><details class="toggle method-toggle" open><summary><section id="method.expand_allowed_builtins" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#421-462">Source</a><h4 class="code-header">pub fn <a href="#method.expand_allowed_builtins" class="fn">expand_allowed_builtins</a>(
&amp;self,
macro_call: &amp;MacroCall,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="type" href="type.ExpandResult.html" title="type hir::ExpandResult">ExpandResult</a>&lt;SyntaxNode&gt;&gt;</h4></section></summary><div class="docblock"><p>Expands the macro if it isnt one of the built-in ones that expand to custom syntax or dummy
expansions.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.expand_attr_macro" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#465-469">Source</a><h4 class="code-header">pub fn <a href="#method.expand_attr_macro" class="fn">expand_attr_macro</a>(&amp;self, item: &amp;Item) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="type" href="type.ExpandResult.html" title="type hir::ExpandResult">ExpandResult</a>&lt;SyntaxNode&gt;&gt;</h4></section></summary><div class="docblock"><p>If <code>item</code> has an attribute macro attached to it, expands it.</p>
</div></details><section id="method.expand_derive_as_pseudo_attr_macro" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#471-478">Source</a><h4 class="code-header">pub fn <a href="#method.expand_derive_as_pseudo_attr_macro" class="fn">expand_derive_as_pseudo_attr_macro</a>(
&amp;self,
attr: &amp;Attr,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;SyntaxNode&gt;</h4></section><section id="method.resolve_derive_macro" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#480-490">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_derive_macro" class="fn">resolve_derive_macro</a>(&amp;self, attr: &amp;Attr) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Macro.html" title="struct hir::Macro">Macro</a>&gt;&gt;&gt;</h4></section><section id="method.expand_derive_macro" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#492-505">Source</a><h4 class="code-header">pub fn <a href="#method.expand_derive_macro" class="fn">expand_derive_macro</a>(
&amp;self,
attr: &amp;Attr,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="type" href="type.ExpandResult.html" title="type hir::ExpandResult">ExpandResult</a>&lt;SyntaxNode&gt;&gt;&gt;</h4></section><section id="method.is_derive_annotated" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#518-522">Source</a><h4 class="code-header">pub fn <a href="#method.is_derive_annotated" class="fn">is_derive_annotated</a>(&amp;self, adt: &amp;Adt) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.bool.html">bool</a></h4></section><section id="method.derive_helpers_in_scope" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#524-538">Source</a><h4 class="code-header">pub fn <a href="#method.derive_helpers_in_scope" class="fn">derive_helpers_in_scope</a>(
&amp;self,
adt: &amp;Adt,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;(<a class="struct" href="struct.Symbol.html" title="struct hir::Symbol">Symbol</a>, <a class="struct" href="struct.Symbol.html" title="struct hir::Symbol">Symbol</a>)&gt;&gt;</h4></section><section id="method.derive_helper" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#540-559">Source</a><h4 class="code-header">pub fn <a href="#method.derive_helper" class="fn">derive_helper</a>(&amp;self, attr: &amp;Attr) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;(<a class="struct" href="struct.Macro.html" title="struct hir::Macro">Macro</a>, <a class="struct" href="struct.MacroFileId.html" title="struct hir::MacroFileId">MacroFileId</a>)&gt;&gt;</h4></section><section id="method.is_attr_macro_call" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#561-565">Source</a><h4 class="code-header">pub fn <a href="#method.is_attr_macro_call" class="fn">is_attr_macro_call</a>(&amp;self, item: &amp;Item) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.bool.html">bool</a></h4></section><details class="toggle method-toggle" open><summary><section id="method.speculative_expand_macro_call" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#569-588">Source</a><h4 class="code-header">pub fn <a href="#method.speculative_expand_macro_call" class="fn">speculative_expand_macro_call</a>(
&amp;self,
actual_macro_call: &amp;MacroCall,
speculative_args: &amp;TokenTree,
token_to_map: SyntaxToken,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(SyntaxNode, <a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;(SyntaxToken, <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.u8.html">u8</a>)&gt;)&gt;</h4></section></summary><div class="docblock"><p>Expand the macro call with a different token tree, mapping the <code>token_to_map</code> down into the
expansion. <code>token_to_map</code> should be a token from the <code>speculative args</code> node.</p>
</div></details><section id="method.speculative_expand_raw" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#590-602">Source</a><h4 class="code-header">pub fn <a href="#method.speculative_expand_raw" class="fn">speculative_expand_raw</a>(
&amp;self,
macro_file: <a class="struct" href="struct.MacroFileId.html" title="struct hir::MacroFileId">MacroFileId</a>,
speculative_args: &amp;SyntaxNode,
token_to_map: SyntaxToken,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(SyntaxNode, <a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;(SyntaxToken, <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.u8.html">u8</a>)&gt;)&gt;</h4></section><details class="toggle method-toggle" open><summary><section id="method.speculative_expand_attr_macro" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#606-620">Source</a><h4 class="code-header">pub fn <a href="#method.speculative_expand_attr_macro" class="fn">speculative_expand_attr_macro</a>(
&amp;self,
actual_macro_call: &amp;Item,
speculative_args: &amp;Item,
token_to_map: SyntaxToken,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(SyntaxNode, <a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;(SyntaxToken, <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.u8.html">u8</a>)&gt;)&gt;</h4></section></summary><div class="docblock"><p>Expand the macro call with a different item as the input, mapping the <code>token_to_map</code> down into the
expansion. <code>token_to_map</code> should be a token from the <code>speculative args</code> node.</p>
</div></details><section id="method.speculative_expand_derive_as_pseudo_attr_macro" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#622-639">Source</a><h4 class="code-header">pub fn <a href="#method.speculative_expand_derive_as_pseudo_attr_macro" class="fn">speculative_expand_derive_as_pseudo_attr_macro</a>(
&amp;self,
actual_macro_call: &amp;Attr,
speculative_args: &amp;Attr,
token_to_map: SyntaxToken,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(SyntaxNode, <a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;(SyntaxToken, <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.u8.html">u8</a>)&gt;)&gt;</h4></section><details class="toggle method-toggle" open><summary><section id="method.as_format_args_parts" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#642-684">Source</a><h4 class="code-header">pub fn <a href="#method.as_format_args_parts" class="fn">as_format_args_parts</a>(
&amp;self,
string: &amp;String,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;(TextRange, <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a>&lt;<a class="enum" href="enum.PathResolution.html" title="enum hir::PathResolution">PathResolution</a>, <a class="struct" href="struct.InlineAsmOperand.html" title="struct hir::InlineAsmOperand">InlineAsmOperand</a>&gt;&gt;)&gt;&gt;</h4></section></summary><div class="docblock"><p>Retrieves all the formatting parts of the format_args! (or <code>asm!</code>) template string.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.check_for_format_args_template" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#687-705">Source</a><h4 class="code-header">pub fn <a href="#method.check_for_format_args_template" class="fn">check_for_format_args_template</a>(
&amp;self,
original_token: SyntaxToken,
offset: TextSize,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(TextRange, <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a>&lt;<a class="enum" href="enum.PathResolution.html" title="enum hir::PathResolution">PathResolution</a>, <a class="struct" href="struct.InlineAsmOperand.html" title="struct hir::InlineAsmOperand">InlineAsmOperand</a>&gt;&gt;)&gt;</h4></section></summary><div class="docblock"><p>Retrieves the formatting part of the format_args! template string at the given offset.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.descend_node_into_attributes" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#735-800">Source</a><h4 class="code-header">pub fn <a href="#method.descend_node_into_attributes" class="fn">descend_node_into_attributes</a>&lt;N: AstNode&gt;(
&amp;self,
node: N,
) -&gt; SmallVec&lt;<a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.array.html">[N; 1]</a>&gt;</h4></section></summary><div class="docblock"><p>Maps a node down by mapping its first and last token down.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.might_be_inside_macro_call" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#804-847">Source</a><h4 class="code-header">pub fn <a href="#method.might_be_inside_macro_call" class="fn">might_be_inside_macro_call</a>(&amp;self, token: &amp;SyntaxToken) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.bool.html">bool</a></h4></section></summary><div class="docblock"><p>Does a syntactic traversal to check whether this token might be inside a macro call</p>
</div></details><section id="method.descend_into_macros_cb" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#849-860">Source</a><h4 class="code-header">pub fn <a href="#method.descend_into_macros_cb" class="fn">descend_into_macros_cb</a>(
&amp;self,
token: SyntaxToken,
cb: impl <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/ops/function/trait.FnMut.html" title="trait core::ops::function::FnMut">FnMut</a>(<a class="type" href="type.InFile.html" title="type hir::InFile">InFile</a>&lt;SyntaxToken&gt;, SyntaxContextId),
)</h4></section><section id="method.descend_into_macros" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#862-874">Source</a><h4 class="code-header">pub fn <a href="#method.descend_into_macros" class="fn">descend_into_macros</a>(
&amp;self,
token: SyntaxToken,
) -&gt; SmallVec&lt;[SyntaxToken; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.array.html">1</a>]&gt;</h4></section><section id="method.descend_into_macros_no_opaque" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#876-891">Source</a><h4 class="code-header">pub fn <a href="#method.descend_into_macros_no_opaque" class="fn">descend_into_macros_no_opaque</a>(
&amp;self,
token: SyntaxToken,
) -&gt; SmallVec&lt;[SyntaxToken; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.array.html">1</a>]&gt;</h4></section><section id="method.descend_into_macros_breakable" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#893-899">Source</a><h4 class="code-header">pub fn <a href="#method.descend_into_macros_breakable" class="fn">descend_into_macros_breakable</a>&lt;T&gt;(
&amp;self,
token: <a class="type" href="type.InRealFile.html" title="type hir::InRealFile">InRealFile</a>&lt;SyntaxToken&gt;,
cb: impl <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/ops/function/trait.FnMut.html" title="trait core::ops::function::FnMut">FnMut</a>(<a class="type" href="type.InFile.html" title="type hir::InFile">InFile</a>&lt;SyntaxToken&gt;, SyntaxContextId) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/ops/control_flow/enum.ControlFlow.html" title="enum core::ops::control_flow::ControlFlow">ControlFlow</a>&lt;T&gt;,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;T&gt;</h4></section><details class="toggle method-toggle" open><summary><section id="method.descend_into_macros_exact" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#903-922">Source</a><h4 class="code-header">pub fn <a href="#method.descend_into_macros_exact" class="fn">descend_into_macros_exact</a>(
&amp;self,
token: SyntaxToken,
) -&gt; SmallVec&lt;[SyntaxToken; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.array.html">1</a>]&gt;</h4></section></summary><div class="docblock"><p>Descends the token into expansions, returning the tokens that matches the input
tokens [<code>SyntaxKind</code>] and text.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.descend_into_macros_single_exact" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#926-949">Source</a><h4 class="code-header">pub fn <a href="#method.descend_into_macros_single_exact" class="fn">descend_into_macros_single_exact</a>(
&amp;self,
token: SyntaxToken,
) -&gt; SyntaxToken</h4></section></summary><div class="docblock"><p>Descends the token into expansions, returning the first token that matches the input
tokens [<code>SyntaxKind</code>] and text.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.original_range" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1228-1231">Source</a><h4 class="code-header">pub fn <a href="#method.original_range" class="fn">original_range</a>(&amp;self, node: &amp;SyntaxNode) -&gt; <a class="type" href="type.FileRange.html" title="type hir::FileRange">FileRange</a></h4></section></summary><div class="docblock"><p>Attempts to map the node out of macro expanded files returning the original file range.
If upmapping is not possible, this will fall back to the range of the macro call of the
macro file the node resides in.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.original_range_opt" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1234-1239">Source</a><h4 class="code-header">pub fn <a href="#method.original_range_opt" class="fn">original_range_opt</a>(&amp;self, node: &amp;SyntaxNode) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="type" href="type.FileRange.html" title="type hir::FileRange">FileRange</a>&gt;</h4></section></summary><div class="docblock"><p>Attempts to map the node out of macro expanded files returning the original file range.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.original_ast_node" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1243-1250">Source</a><h4 class="code-header">pub fn <a href="#method.original_ast_node" class="fn">original_ast_node</a>&lt;N: AstNode&gt;(&amp;self, node: N) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;N&gt;</h4></section></summary><div class="docblock"><p>Attempts to map the node out of macro expanded files.
This only work for attribute expansions, as other ones do not have nodes as input.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.original_syntax_node_rooted" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1254-1262">Source</a><h4 class="code-header">pub fn <a href="#method.original_syntax_node_rooted" class="fn">original_syntax_node_rooted</a>(
&amp;self,
node: &amp;SyntaxNode,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;SyntaxNode&gt;</h4></section></summary><div class="docblock"><p>Attempts to map the node out of macro expanded files.
This only work for attribute expansions, as other ones do not have nodes as input.</p>
</div></details><section id="method.diagnostics_display_range" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1264-1268">Source</a><h4 class="code-header">pub fn <a href="#method.diagnostics_display_range" class="fn">diagnostics_display_range</a>(&amp;self, src: <a class="type" href="type.InFile.html" title="type hir::InFile">InFile</a>&lt;SyntaxNodePtr&gt;) -&gt; <a class="type" href="type.FileRange.html" title="type hir::FileRange">FileRange</a></h4></section><details class="toggle method-toggle" open><summary><section id="method.ancestors_with_macros" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1278-1297">Source</a><h4 class="code-header">pub fn <a href="#method.ancestors_with_macros" class="fn">ancestors_with_macros</a>(
&amp;self,
node: SyntaxNode,
) -&gt; impl <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a>&lt;Item = SyntaxNode&gt; + <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a> + '_</h4></section></summary><div class="docblock"><p>Iterates the ancestors of the given node, climbing up macro expansions while doing so.</p>
</div></details><section id="method.ancestors_at_offset_with_macros" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1299-1307">Source</a><h4 class="code-header">pub fn <a href="#method.ancestors_at_offset_with_macros" class="fn">ancestors_at_offset_with_macros</a>(
&amp;self,
node: &amp;SyntaxNode,
offset: TextSize,
) -&gt; impl <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a>&lt;Item = SyntaxNode&gt; + '_</h4></section><section id="method.resolve_lifetime_param" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1309-1318">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_lifetime_param" class="fn">resolve_lifetime_param</a>(
&amp;self,
lifetime: &amp;Lifetime,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.LifetimeParam.html" title="struct hir::LifetimeParam">LifetimeParam</a>&gt;</h4></section><section id="method.resolve_label" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1320-1324">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_label" class="fn">resolve_label</a>(&amp;self, label: &amp;Lifetime) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Label.html" title="struct hir::Label">Label</a>&gt;</h4></section><section id="method.resolve_type" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1326-1342">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_type" class="fn">resolve_type</a>(&amp;self, ty: &amp;Type) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Type.html" title="struct hir::Type">Type</a>&gt;</h4></section><section id="method.resolve_trait" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1344-1355">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_trait" class="fn">resolve_trait</a>(&amp;self, path: &amp;Path) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Trait.html" title="struct hir::Trait">Trait</a>&gt;</h4></section><section id="method.expr_adjustments" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1357-1398">Source</a><h4 class="code-header">pub fn <a href="#method.expr_adjustments" class="fn">expr_adjustments</a>(&amp;self, expr: &amp;Expr) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="struct" href="struct.Adjustment.html" title="struct hir::Adjustment">Adjustment</a>&gt;&gt;</h4></section><section id="method.type_of_expr" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1400-1404">Source</a><h4 class="code-header">pub fn <a href="#method.type_of_expr" class="fn">type_of_expr</a>(&amp;self, expr: &amp;Expr) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.TypeInfo.html" title="struct hir::TypeInfo">TypeInfo</a>&gt;</h4></section><section id="method.type_of_pat" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1406-1410">Source</a><h4 class="code-header">pub fn <a href="#method.type_of_pat" class="fn">type_of_pat</a>(&amp;self, pat: &amp;Pat) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.TypeInfo.html" title="struct hir::TypeInfo">TypeInfo</a>&gt;</h4></section><details class="toggle method-toggle" open><summary><section id="method.type_of_binding_in_pat" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1415-1417">Source</a><h4 class="code-header">pub fn <a href="#method.type_of_binding_in_pat" class="fn">type_of_binding_in_pat</a>(&amp;self, pat: &amp;IdentPat) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Type.html" title="struct hir::Type">Type</a>&gt;</h4></section></summary><div class="docblock"><p>It also includes the changes that binding mode makes in the type. For example in
<code>let ref x @ Some(_) = None</code> the result of <code>type_of_pat</code> is <code>Option&lt;T&gt;</code> but the result
of this function is <code>&amp;mut Option&lt;T&gt;</code></p>
</div></details><section id="method.type_of_self" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1419-1421">Source</a><h4 class="code-header">pub fn <a href="#method.type_of_self" class="fn">type_of_self</a>(&amp;self, param: &amp;SelfParam) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Type.html" title="struct hir::Type">Type</a>&gt;</h4></section><section id="method.pattern_adjustments" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1423-1427">Source</a><h4 class="code-header">pub fn <a href="#method.pattern_adjustments" class="fn">pattern_adjustments</a>(&amp;self, pat: &amp;Pat) -&gt; SmallVec&lt;[<a class="struct" href="struct.Type.html" title="struct hir::Type">Type</a>; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.array.html">1</a>]&gt;</h4></section><section id="method.binding_mode_of_pat" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1429-1431">Source</a><h4 class="code-header">pub fn <a href="#method.binding_mode_of_pat" class="fn">binding_mode_of_pat</a>(&amp;self, pat: &amp;IdentPat) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="enum" href="enum.BindingMode.html" title="enum hir::BindingMode">BindingMode</a>&gt;</h4></section><section id="method.resolve_expr_as_callable" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1433-1435">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_expr_as_callable" class="fn">resolve_expr_as_callable</a>(&amp;self, call: &amp;Expr) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Callable.html" title="struct hir::Callable">Callable</a>&gt;</h4></section><section id="method.resolve_method_call" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1437-1439">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_method_call" class="fn">resolve_method_call</a>(&amp;self, call: &amp;MethodCallExpr) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Function.html" title="struct hir::Function">Function</a>&gt;</h4></section><details class="toggle method-toggle" open><summary><section id="method.resolve_method_call_fallback" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1442-1447">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_method_call_fallback" class="fn">resolve_method_call_fallback</a>(
&amp;self,
call: &amp;MethodCallExpr,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(<a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a>&lt;<a class="struct" href="struct.Function.html" title="struct hir::Function">Function</a>, <a class="struct" href="struct.Field.html" title="struct hir::Field">Field</a>&gt;, <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.GenericSubstitution.html" title="struct hir::GenericSubstitution">GenericSubstitution</a>&gt;)&gt;</h4></section></summary><div class="docblock"><p>Attempts to resolve this call expression as a method call falling back to resolving it as a field.</p>
</div></details><section id="method.resolve_method_call_as_callable" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1477-1479">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_method_call_as_callable" class="fn">resolve_method_call_as_callable</a>(
&amp;self,
call: &amp;MethodCallExpr,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Callable.html" title="struct hir::Callable">Callable</a>&gt;</h4></section><section id="method.resolve_field" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1481-1483">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_field" class="fn">resolve_field</a>(
&amp;self,
field: &amp;FieldExpr,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a>&lt;<a class="struct" href="struct.Field.html" title="struct hir::Field">Field</a>, <a class="struct" href="struct.TupleField.html" title="struct hir::TupleField">TupleField</a>&gt;&gt;</h4></section><section id="method.resolve_field_fallback" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1485-1490">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_field_fallback" class="fn">resolve_field_fallback</a>(
&amp;self,
field: &amp;FieldExpr,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(<a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a>&lt;<a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a>&lt;<a class="struct" href="struct.Field.html" title="struct hir::Field">Field</a>, <a class="struct" href="struct.TupleField.html" title="struct hir::TupleField">TupleField</a>&gt;, <a class="struct" href="struct.Function.html" title="struct hir::Function">Function</a>&gt;, <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.GenericSubstitution.html" title="struct hir::GenericSubstitution">GenericSubstitution</a>&gt;)&gt;</h4></section><section id="method.resolve_record_field" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1492-1498">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_record_field" class="fn">resolve_record_field</a>(
&amp;self,
field: &amp;RecordExprField,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(<a class="struct" href="struct.Field.html" title="struct hir::Field">Field</a>, <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Local.html" title="struct hir::Local">Local</a>&gt;, <a class="struct" href="struct.Type.html" title="struct hir::Type">Type</a>)&gt;</h4></section><section id="method.resolve_record_field_with_substitution" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1500-1505">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_record_field_with_substitution" class="fn">resolve_record_field_with_substitution</a>(
&amp;self,
field: &amp;RecordExprField,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(<a class="struct" href="struct.Field.html" title="struct hir::Field">Field</a>, <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Local.html" title="struct hir::Local">Local</a>&gt;, <a class="struct" href="struct.Type.html" title="struct hir::Type">Type</a>, <a class="struct" href="struct.GenericSubstitution.html" title="struct hir::GenericSubstitution">GenericSubstitution</a>)&gt;</h4></section><section id="method.resolve_record_pat_field" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1507-1509">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_record_pat_field" class="fn">resolve_record_pat_field</a>(
&amp;self,
field: &amp;RecordPatField,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(<a class="struct" href="struct.Field.html" title="struct hir::Field">Field</a>, <a class="struct" href="struct.Type.html" title="struct hir::Type">Type</a>)&gt;</h4></section><section id="method.resolve_record_pat_field_with_subst" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1511-1516">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_record_pat_field_with_subst" class="fn">resolve_record_pat_field_with_subst</a>(
&amp;self,
field: &amp;RecordPatField,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(<a class="struct" href="struct.Field.html" title="struct hir::Field">Field</a>, <a class="struct" href="struct.Type.html" title="struct hir::Type">Type</a>, <a class="struct" href="struct.GenericSubstitution.html" title="struct hir::GenericSubstitution">GenericSubstitution</a>)&gt;</h4></section><section id="method.resolve_macro_call" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1518-1528">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_macro_call" class="fn">resolve_macro_call</a>(&amp;self, macro_call: &amp;MacroCall) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Macro.html" title="struct hir::Macro">Macro</a>&gt;</h4></section><section id="method.is_proc_macro_call" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1530-1533">Source</a><h4 class="code-header">pub fn <a href="#method.is_proc_macro_call" class="fn">is_proc_macro_call</a>(&amp;self, macro_call: &amp;MacroCall) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.bool.html">bool</a></h4></section><section id="method.resolve_macro_call_arm" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1535-1544">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_macro_call_arm" class="fn">resolve_macro_call_arm</a>(&amp;self, macro_call: &amp;MacroCall) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.u32.html">u32</a>&gt;</h4></section><section id="method.is_unsafe_macro_call" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1546-1558">Source</a><h4 class="code-header">pub fn <a href="#method.is_unsafe_macro_call" class="fn">is_unsafe_macro_call</a>(&amp;self, macro_call: &amp;MacroCall) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.bool.html">bool</a></h4></section><section id="method.resolve_attr_macro_call" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1560-1567">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_attr_macro_call" class="fn">resolve_attr_macro_call</a>(&amp;self, item: &amp;Item) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.Macro.html" title="struct hir::Macro">Macro</a>&gt;</h4></section><section id="method.resolve_path" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1569-1571">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_path" class="fn">resolve_path</a>(&amp;self, path: &amp;Path) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="enum" href="enum.PathResolution.html" title="enum hir::PathResolution">PathResolution</a>&gt;</h4></section><section id="method.resolve_path_with_subst" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1573-1578">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_path_with_subst" class="fn">resolve_path_with_subst</a>(
&amp;self,
path: &amp;Path,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;(<a class="enum" href="enum.PathResolution.html" title="enum hir::PathResolution">PathResolution</a>, <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.GenericSubstitution.html" title="struct hir::GenericSubstitution">GenericSubstitution</a>&gt;)&gt;</h4></section><section id="method.resolve_use_type_arg" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1580-1582">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_use_type_arg" class="fn">resolve_use_type_arg</a>(&amp;self, name: &amp;NameRef) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.TypeParam.html" title="struct hir::TypeParam">TypeParam</a>&gt;</h4></section><section id="method.resolve_mod_path" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1584-1592">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_mod_path" class="fn">resolve_mod_path</a>(
&amp;self,
scope: &amp;SyntaxNode,
path: &amp;<a class="struct" href="struct.ModPath.html" title="struct hir::ModPath">ModPath</a>,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;impl <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a>&lt;Item = <a class="enum" href="enum.ItemInNs.html" title="enum hir::ItemInNs">ItemInNs</a>&gt;&gt;</h4></section><section id="method.resolve_mod_path_relative" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1594-1607">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_mod_path_relative" class="fn">resolve_mod_path_relative</a>(
&amp;self,
to: <a class="struct" href="struct.Module.html" title="struct hir::Module">Module</a>,
segments: impl <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/iter/traits/collect/trait.IntoIterator.html" title="trait core::iter::traits::collect::IntoIterator">IntoIterator</a>&lt;Item = SmolStr&gt;,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;impl <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a>&lt;Item = <a class="enum" href="enum.ItemInNs.html" title="enum hir::ItemInNs">ItemInNs</a>&gt;&gt;</h4></section><section id="method.resolve_bind_pat_to_const" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1613-1615">Source</a><h4 class="code-header">pub fn <a href="#method.resolve_bind_pat_to_const" class="fn">resolve_bind_pat_to_const</a>(&amp;self, pat: &amp;IdentPat) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="enum" href="enum.ModuleDef.html" title="enum hir::ModuleDef">ModuleDef</a>&gt;</h4></section><section id="method.record_literal_missing_fields" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1617-1621">Source</a><h4 class="code-header">pub fn <a href="#method.record_literal_missing_fields" class="fn">record_literal_missing_fields</a>(
&amp;self,
literal: &amp;RecordExpr,
) -&gt; <a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;(<a class="struct" href="struct.Field.html" title="struct hir::Field">Field</a>, <a class="struct" href="struct.Type.html" title="struct hir::Type">Type</a>)&gt;</h4></section><section id="method.record_pattern_missing_fields" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1623-1627">Source</a><h4 class="code-header">pub fn <a href="#method.record_pattern_missing_fields" class="fn">record_pattern_missing_fields</a>(
&amp;self,
pattern: &amp;RecordPat,
) -&gt; <a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;(<a class="struct" href="struct.Field.html" title="struct hir::Field">Field</a>, <a class="struct" href="struct.Type.html" title="struct hir::Type">Type</a>)&gt;</h4></section><section id="method.to_def" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1634-1637">Source</a><h4 class="code-header">pub fn <a href="#method.to_def" class="fn">to_def</a>&lt;T: ToDef&gt;(&amp;self, src: <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.reference.html">&amp;T</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;T::Def&gt;</h4></section><section id="method.scope" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1643-1649">Source</a><h4 class="code-header">pub fn <a href="#method.scope" class="fn">scope</a>(&amp;self, node: &amp;SyntaxNode) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.SemanticsScope.html" title="struct hir::SemanticsScope">SemanticsScope</a>&lt;'db&gt;&gt;</h4></section><section id="method.scope_at_offset" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1651-1663">Source</a><h4 class="code-header">pub fn <a href="#method.scope_at_offset" class="fn">scope_at_offset</a>(
&amp;self,
node: &amp;SyntaxNode,
offset: TextSize,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="struct" href="struct.SemanticsScope.html" title="struct hir::SemanticsScope">SemanticsScope</a>&lt;'db&gt;&gt;</h4></section><details class="toggle method-toggle" open><summary><section id="method.source" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1666-1674">Source</a><h4 class="code-header">pub fn <a href="#method.source" class="fn">source</a>&lt;Def: <a class="trait" href="trait.HasSource.html" title="trait hir::HasSource">HasSource</a>&gt;(&amp;self, def: Def) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="type" href="type.InFile.html" title="type hir::InFile">InFile</a>&lt;Def::<a class="associatedtype" href="trait.HasSource.html#associatedtype.Ast" title="type hir::HasSource::Ast">Ast</a>&gt;&gt;<div class="where">where
Def::<a class="associatedtype" href="trait.HasSource.html#associatedtype.Ast" title="type hir::HasSource::Ast">Ast</a>: AstNode,</div></h4></section></summary><div class="docblock"><p>Search for a definitions source and cache its syntax tree</p>
</div></details><section id="method.assert_contains_node" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1734-1736">Source</a><h4 class="code-header">pub fn <a href="#method.assert_contains_node" class="fn">assert_contains_node</a>(&amp;self, node: &amp;SyntaxNode)</h4></section><section id="method.is_unsafe_method_call" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1775-1796">Source</a><h4 class="code-header">pub fn <a href="#method.is_unsafe_method_call" class="fn">is_unsafe_method_call</a>(&amp;self, method_call_expr: &amp;MethodCallExpr) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.bool.html">bool</a></h4></section><section id="method.is_unsafe_ref_expr" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1798-1815">Source</a><h4 class="code-header">pub fn <a href="#method.is_unsafe_ref_expr" class="fn">is_unsafe_ref_expr</a>(&amp;self, ref_expr: &amp;RefExpr) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.bool.html">bool</a></h4></section><section id="method.is_unsafe_ident_pat" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1817-1858">Source</a><h4 class="code-header">pub fn <a href="#method.is_unsafe_ident_pat" class="fn">is_unsafe_ident_pat</a>(&amp;self, ident_pat: &amp;IdentPat) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.bool.html">bool</a></h4></section><details class="toggle method-toggle" open><summary><section id="method.is_inside_unsafe" class="method"><a class="src rightside" href="../src/hir/semantics.rs.html#1861-1908">Source</a><h4 class="code-header">pub fn <a href="#method.is_inside_unsafe" class="fn">is_inside_unsafe</a>(&amp;self, expr: &amp;Expr) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.bool.html">bool</a></h4></section></summary><div class="docblock"><p>Returns <code>true</code> if the <code>node</code> is inside an <code>unsafe</code> context.</p>
</div></details></div></details></div><h2 id="synthetic-implementations" class="section-header">Auto Trait Implementations<a href="#synthetic-implementations" class="anchor">§</a></h2><div id="synthetic-implementations-list"><section id="impl-Freeze-for-SemanticsImpl%3C'db%3E" class="impl"><a href="#impl-Freeze-for-SemanticsImpl%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; !<a class="trait" href="https://doc.rust-lang.org/1.84.0/core/marker/trait.Freeze.html" title="trait core::marker::Freeze">Freeze</a> for <a class="struct" href="struct.SemanticsImpl.html" title="struct hir::SemanticsImpl">SemanticsImpl</a>&lt;'db&gt;</h3></section><section id="impl-RefUnwindSafe-for-SemanticsImpl%3C'db%3E" class="impl"><a href="#impl-RefUnwindSafe-for-SemanticsImpl%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; !<a class="trait" href="https://doc.rust-lang.org/1.84.0/core/panic/unwind_safe/trait.RefUnwindSafe.html" title="trait core::panic::unwind_safe::RefUnwindSafe">RefUnwindSafe</a> for <a class="struct" href="struct.SemanticsImpl.html" title="struct hir::SemanticsImpl">SemanticsImpl</a>&lt;'db&gt;</h3></section><section id="impl-Send-for-SemanticsImpl%3C'db%3E" class="impl"><a href="#impl-Send-for-SemanticsImpl%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; !<a class="trait" href="https://doc.rust-lang.org/1.84.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> for <a class="struct" href="struct.SemanticsImpl.html" title="struct hir::SemanticsImpl">SemanticsImpl</a>&lt;'db&gt;</h3></section><section id="impl-Sync-for-SemanticsImpl%3C'db%3E" class="impl"><a href="#impl-Sync-for-SemanticsImpl%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; !<a class="trait" href="https://doc.rust-lang.org/1.84.0/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a> for <a class="struct" href="struct.SemanticsImpl.html" title="struct hir::SemanticsImpl">SemanticsImpl</a>&lt;'db&gt;</h3></section><section id="impl-Unpin-for-SemanticsImpl%3C'db%3E" class="impl"><a href="#impl-Unpin-for-SemanticsImpl%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/marker/trait.Unpin.html" title="trait core::marker::Unpin">Unpin</a> for <a class="struct" href="struct.SemanticsImpl.html" title="struct hir::SemanticsImpl">SemanticsImpl</a>&lt;'db&gt;</h3></section><section id="impl-UnwindSafe-for-SemanticsImpl%3C'db%3E" class="impl"><a href="#impl-UnwindSafe-for-SemanticsImpl%3C'db%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'db&gt; !<a class="trait" href="https://doc.rust-lang.org/1.84.0/core/panic/unwind_safe/trait.UnwindSafe.html" title="trait core::panic::unwind_safe::UnwindSafe">UnwindSafe</a> for <a class="struct" href="struct.SemanticsImpl.html" title="struct hir::SemanticsImpl">SemanticsImpl</a>&lt;'db&gt;</h3></section></div><h2 id="blanket-implementations" class="section-header">Blanket Implementations<a href="#blanket-implementations" class="anchor">§</a></h2><div id="blanket-implementations-list"><details class="toggle implementors-toggle"><summary><section id="impl-Any-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/any.rs.html#138">Source</a><a href="#impl-Any-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> for T<div class="where">where
T: 'static + ?<a class="trait" href="https://doc.rust-lang.org/1.84.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.type_id" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/any.rs.html#139">Source</a><a href="#method.type_id" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.84.0/core/any/trait.Any.html#tymethod.type_id" class="fn">type_id</a>(&amp;self) -&gt; <a class="struct" href="https://doc.rust-lang.org/1.84.0/core/any/struct.TypeId.html" title="struct core::any::TypeId">TypeId</a></h4></section></summary><div class='docblock'>Gets the <code>TypeId</code> of <code>self</code>. <a href="https://doc.rust-lang.org/1.84.0/core/any/trait.Any.html#tymethod.type_id">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Borrow%3CT%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/borrow.rs.html#209">Source</a><a href="#impl-Borrow%3CT%3E-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/borrow/trait.Borrow.html" title="trait core::borrow::Borrow">Borrow</a>&lt;T&gt; for T<div class="where">where
T: ?<a class="trait" href="https://doc.rust-lang.org/1.84.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.borrow" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/borrow.rs.html#211">Source</a><a href="#method.borrow" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.84.0/core/borrow/trait.Borrow.html#tymethod.borrow" class="fn">borrow</a>(&amp;self) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.reference.html">&amp;T</a></h4></section></summary><div class='docblock'>Immutably borrows from an owned value. <a href="https://doc.rust-lang.org/1.84.0/core/borrow/trait.Borrow.html#tymethod.borrow">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-BorrowMut%3CT%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/borrow.rs.html#217">Source</a><a href="#impl-BorrowMut%3CT%3E-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/borrow/trait.BorrowMut.html" title="trait core::borrow::BorrowMut">BorrowMut</a>&lt;T&gt; for T<div class="where">where
T: ?<a class="trait" href="https://doc.rust-lang.org/1.84.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.borrow_mut" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/borrow.rs.html#218">Source</a><a href="#method.borrow_mut" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.84.0/core/borrow/trait.BorrowMut.html#tymethod.borrow_mut" class="fn">borrow_mut</a>(&amp;mut self) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.reference.html">&amp;mut T</a></h4></section></summary><div class='docblock'>Mutably borrows from an owned value. <a href="https://doc.rust-lang.org/1.84.0/core/borrow/trait.BorrowMut.html#tymethod.borrow_mut">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Cast-for-T" class="impl"><a href="#impl-Cast-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; Cast for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.cast" class="method trait-impl"><a href="#method.cast" class="anchor">§</a><h4 class="code-header">fn <a class="fn">cast</a>&lt;U&gt;(self, interner: &lt;U as HasInterner&gt;::Interner) -&gt; U<div class="where">where
Self: CastTo&lt;U&gt;,
U: HasInterner,</div></h4></section></summary><div class='docblock'>Cast a value to type <code>U</code> using <code>CastTo</code>.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-From%3CT%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/convert/mod.rs.html#765">Source</a><a href="#impl-From%3CT%3E-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.From.html" title="trait core::convert::From">From</a>&lt;T&gt; for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.from" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/convert/mod.rs.html#768">Source</a><a href="#method.from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.84.0/core/convert/trait.From.html#tymethod.from" class="fn">from</a>(t: T) -&gt; T</h4></section></summary><div class="docblock"><p>Returns the argument unchanged.</p>
</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Instrument-for-T" class="impl"><a href="#impl-Instrument-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; Instrument for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.instrument" class="method trait-impl"><a href="#method.instrument" class="anchor">§</a><h4 class="code-header">fn <a class="fn">instrument</a>(self, span: Span) -&gt; Instrumented&lt;Self&gt;</h4></section></summary><div class='docblock'>Instruments this type with the provided [<code>Span</code>], returning an
<code>Instrumented</code> wrapper. <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.in_current_span" class="method trait-impl"><a href="#method.in_current_span" class="anchor">§</a><h4 class="code-header">fn <a class="fn">in_current_span</a>(self) -&gt; Instrumented&lt;Self&gt;</h4></section></summary><div class='docblock'>Instruments this type with the <a href="super::Span::current()">current</a> <a href="crate::Span"><code>Span</code></a>, returning an
<code>Instrumented</code> wrapper. <a>Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Into%3CU%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/convert/mod.rs.html#748-750">Source</a><a href="#impl-Into%3CU%3E-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T, U&gt; <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a>&lt;U&gt; for T<div class="where">where
U: <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.From.html" title="trait core::convert::From">From</a>&lt;T&gt;,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/convert/mod.rs.html#758">Source</a><a href="#method.into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.84.0/core/convert/trait.Into.html#tymethod.into" class="fn">into</a>(self) -&gt; U</h4></section></summary><div class="docblock"><p>Calls <code>U::from(self)</code>.</p>
<p>That is, this conversion is whatever the implementation of
<code><a href="https://doc.rust-lang.org/1.84.0/core/convert/trait.From.html" title="trait core::convert::From">From</a>&lt;T&gt; for U</code> chooses to do.</p>
</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-IntoBox%3Cdyn+Any%3E-for-T" class="impl"><a href="#impl-IntoBox%3Cdyn+Any%3E-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; IntoBox&lt;dyn <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a>&gt; for T<div class="where">where
T: <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into_box" class="method trait-impl"><a href="#method.into_box" class="anchor">§</a><h4 class="code-header">fn <a class="fn">into_box</a>(self) -&gt; <a class="struct" href="https://doc.rust-lang.org/1.84.0/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;dyn <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a>&gt;</h4></section></summary><div class='docblock'>Convert self into the appropriate boxed form.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-IntoEither-for-T" class="impl"><a class="src rightside" href="https://docs.rs/either/1/src/either/into_either.rs.html#64">Source</a><a href="#impl-IntoEither-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html" title="trait either::into_either::IntoEither">IntoEither</a> for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into_either" class="method trait-impl"><a class="src rightside" href="https://docs.rs/either/1/src/either/into_either.rs.html#29">Source</a><a href="#method.into_either" class="anchor">§</a><h4 class="code-header">fn <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either" class="fn">into_either</a>(self, into_left: <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.bool.html">bool</a>) -&gt; <a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a>&lt;Self, Self&gt;</h4></section></summary><div class='docblock'>Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Left" title="variant either::Either::Left"><code>Left</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either&lt;Self, Self&gt;</code></a>
if <code>into_left</code> is <code>true</code>.
Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Right" title="variant either::Either::Right"><code>Right</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either&lt;Self, Self&gt;</code></a>
otherwise. <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.into_either_with" class="method trait-impl"><a class="src rightside" href="https://docs.rs/either/1/src/either/into_either.rs.html#55-57">Source</a><a href="#method.into_either_with" class="anchor">§</a><h4 class="code-header">fn <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either_with" class="fn">into_either_with</a>&lt;F&gt;(self, into_left: F) -&gt; <a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a>&lt;Self, Self&gt;<div class="where">where
F: <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/ops/function/trait.FnOnce.html" title="trait core::ops::function::FnOnce">FnOnce</a>(&amp;Self) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.84.0/std/primitive.bool.html">bool</a>,</div></h4></section></summary><div class='docblock'>Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Left" title="variant either::Either::Left"><code>Left</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either&lt;Self, Self&gt;</code></a>
if <code>into_left(&amp;self)</code> returns <code>true</code>.
Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Right" title="variant either::Either::Right"><code>Right</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either&lt;Self, Self&gt;</code></a>
otherwise. <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either_with">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-TryFrom%3CU%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/convert/mod.rs.html#805-807">Source</a><a href="#impl-TryFrom%3CU%3E-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T, U&gt; <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a>&lt;U&gt; for T<div class="where">where
U: <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a>&lt;T&gt;,</div></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Error-1" class="associatedtype trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/convert/mod.rs.html#809">Source</a><a href="#associatedtype.Error-1" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryFrom.html#associatedtype.Error" class="associatedtype">Error</a> = <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/convert/enum.Infallible.html" title="enum core::convert::Infallible">Infallible</a></h4></section></summary><div class='docblock'>The type returned in the event of a conversion error.</div></details><details class="toggle method-toggle" open><summary><section id="method.try_from" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/convert/mod.rs.html#812">Source</a><a href="#method.try_from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryFrom.html#tymethod.try_from" class="fn">try_from</a>(value: U) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, &lt;T as <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a>&lt;U&gt;&gt;::<a class="associatedtype" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryFrom.html#associatedtype.Error" title="type core::convert::TryFrom::Error">Error</a>&gt;</h4></section></summary><div class='docblock'>Performs the conversion.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-TryInto%3CU%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/convert/mod.rs.html#790-792">Source</a><a href="#impl-TryInto%3CU%3E-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T, U&gt; <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryInto.html" title="trait core::convert::TryInto">TryInto</a>&lt;U&gt; for T<div class="where">where
U: <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a>&lt;T&gt;,</div></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Error" class="associatedtype trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/convert/mod.rs.html#794">Source</a><a href="#associatedtype.Error" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryInto.html#associatedtype.Error" class="associatedtype">Error</a> = &lt;U as <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a>&lt;T&gt;&gt;::<a class="associatedtype" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryFrom.html#associatedtype.Error" title="type core::convert::TryFrom::Error">Error</a></h4></section></summary><div class='docblock'>The type returned in the event of a conversion error.</div></details><details class="toggle method-toggle" open><summary><section id="method.try_into" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.84.0/src/core/convert/mod.rs.html#797">Source</a><a href="#method.try_into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryInto.html#tymethod.try_into" class="fn">try_into</a>(self) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.84.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;U, &lt;U as <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a>&lt;T&gt;&gt;::<a class="associatedtype" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.TryFrom.html#associatedtype.Error" title="type core::convert::TryFrom::Error">Error</a>&gt;</h4></section></summary><div class='docblock'>Performs the conversion.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-WithSubscriber-for-T" class="impl"><a href="#impl-WithSubscriber-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; WithSubscriber for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.with_subscriber" class="method trait-impl"><a href="#method.with_subscriber" class="anchor">§</a><h4 class="code-header">fn <a class="fn">with_subscriber</a>&lt;S&gt;(self, subscriber: S) -&gt; WithDispatch&lt;Self&gt;<div class="where">where
S: <a class="trait" href="https://doc.rust-lang.org/1.84.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a>&lt;Dispatch&gt;,</div></h4></section></summary><div class='docblock'>Attaches the provided <a href="super::Subscriber"><code>Subscriber</code></a> to this type, returning a
[<code>WithDispatch</code>] wrapper. <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.with_current_subscriber" class="method trait-impl"><a href="#method.with_current_subscriber" class="anchor">§</a><h4 class="code-header">fn <a class="fn">with_current_subscriber</a>(self) -&gt; WithDispatch&lt;Self&gt;</h4></section></summary><div class='docblock'>Attaches the current <a href="crate::dispatcher#setting-the-default-subscriber">default</a> <a href="super::Subscriber"><code>Subscriber</code></a> to this type, returning a
[<code>WithDispatch</code>] wrapper. <a>Read more</a></div></details></div></details><section id="impl-Captures%3C'a%3E-for-T" class="impl"><a href="#impl-Captures%3C'a%3E-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;'a, T&gt; Captures&lt;'a&gt; for T<div class="where">where
T: ?<a class="trait" href="https://doc.rust-lang.org/1.84.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></div></section></div></main></body></html>