Crate hir_def 

hir_def crate contains everything between macro expansion and type inference.

It defines various items (structs, enums, traits) which comprises Rust code, as well as an algorithm for resolving paths to such entities.

Note that hir_def is a work in progress, so not all of the above is actually true.

Re-exports

pub extern crate ra_ap_rustc_abi as layout;

pub extern crate ra_ap_rustc_abi as rustc_abi;

Re-exports

pub use crate::find_path::FindPathConfig;

pub use crate::hir::type_ref;

pub use crate::item_tree::file_item_tree;

pub use crate::lang_item::crate_notable_traits;

pub use crate::signatures::LocalFieldId;

pub use hir_expand::tt;

Modules

attrs

Attributes for anything that is not name resolution.

builtin_derive

Definition of builtin derive impls.

builtin_type

This module defines built-in types.

dyn_map

This module defines a DynMap – a container for heterogeneous maps.

expr_store

Defines ExpressionStore: a lowered representation of functions, statics and consts.

find_path

An algorithm to find a path to refer to a certain item.

hir

This module describes hir-level representation of expressions.

import_map

A map of all publicly exported items in a crate.

item_scope

Describes items defined or visible (ie, imported) in a certain scope. This is shared between modules and blocks.

item_tree

A simplified AST that only contains items.

lang_item

Collects lang items: items marked with #[lang = "..."] attribute.

nameres

This module implements import-resolution/macro expansion algorithm.

per_ns

In rust, it is possible to have a value, a type and a macro with the same name without conflicts.

resolver

Name resolution façade.

signatures

Item signature IR definitions

src

Utilities for mapping between hir IDs and the surface syntax.

tracked_struct_token 🔒

unstable_features

Handling of unstable features.

upvars

A simple query to collect tall locals (upvars) a closure use.

visibility

Defines hir-level representation of visibility (e.g. pub and pub(crate)).

Macros

impl_intern 🔒

impl_loc 🔒

Structs

AssocItemLoc

AstIdWithPath 🔒

Helper wrapper for AstId with ModPath

BlockIdLt

BuiltinDeriveImplId

BuiltinDeriveImplLoc

ConstId

ConstParamId

A TypeOrConstParamId with an invariant that it actually belongs to a const

EnumId

EnumVariantId

EnumVariantLoc

ExpandProcAttrMacros 🔒

Whether to expand procedural macros during name resolution.

ExternBlockId

ExternCrateId

FieldId

FunctionId

HrtbLifetimeParamId

ImplId

ItemLoc

LifetimeParamId

Macro2Id

Macro2Loc

MacroRulesId

MacroRulesLoc

MacroRulesLocFlags

ModuleIdLt

ProcMacroId

ProcMacroLoc

StaticId

StructId

SyntheticSyntax

TrackedStructToken

A token that is required to construct tracked structs. This exists to prevent one from accidentally creating a tracked struct outside of a query which may happen for some codepaths.

TraitId

TupleFieldId

TupleId

TypeAliasId

TypeOrConstParamId

TypeParamId

A TypeOrConstParamId with an invariant that it actually belongs to a type

UnionId

UnresolvedMacro

UseId

Enums

AdtId

A Data Type

AssocItemId

AttrDefId

CallableDefId

Complete

#[rust_analyzer::completions(...)] options.

DefWithBodyId

The defs which have a body.

ExpressionStoreOwnerId

Owner of an expression store - either a body or a signature. This is used for queries that operate on expression stores generically, such as expr_scopes.

GenericDefId

GenericParamId

A generic param

ItemContainerId

LoweringMode

MacroExpander

MacroId

A macro

ModuleDefId

The defs which can be visible in the module.

VariantId

Traits

AstIdLoc

HasModule

Intern

Lookup

Functions

include_macro_invoc

macro_call_as_call_id

module_for_assoc_item_loc 🔒

set_expand_proc_attr_macros

Type Aliases

BlockId

ConstLoc 🔒

EnumLoc

ExternBlockLoc 🔒

ExternCrateLoc 🔒

FunctionLoc 🔒

FxIndexMap 🔒

ImplLoc 🔒

ModuleId

StaticLoc

StructLoc 🔒

TraitLoc

TypeAliasLoc 🔒

UnionLoc

UseLoc 🔒