Crate rustc_hir

Expand description

HIR datatypes. See the rustc dev guide for more info.

Re-exports§

arena 🔒
attrs: Data structures for representing parsed attributes in the Rust compiler. Formerly rustc_attr_data_structures.
def
def_id
def_path_hash_map
definitions: For each definition, we track the following data. A definition here is defined somewhat circularly as “something with a DefId”, but it generally corresponds to things like structs, enums, etc. There are also some rather random cases (like const initializer expressions) that are mostly just leftovers.
diagnostic_items
hir 🔒
intravisit: HIR walker for walking the contents of nodes.
lang_items: Defines lang items.
lints
pat_util
stability 🔒
stable_hash_impls 🔒
target 🔒: This module implements some validity checks for attributes. In particular it verifies that #[inline] and #[repr] attributes are attached to items that actually support them and if there are conflicts between multiple such attributes attached to the same item.
version 🔒
weak_lang_items: Validity checking for weak lang items

arena_types: This higher-order macro declares a list of types which can be allocated by Arena. Note that all Copy types can be allocated by default and need not be specified here.
find_attr: Finds attributes in sequences of attributes by pattern matching.

Arena
ConstStability: Represents the #[rustc_const_unstable] and #[rustc_const_stable] attributes.
DefaultBodyStability: Represents the #[rustc_default_body_unstable] attribute.
HirId: Uniquely identifies a node in the HIR of the current crate. It is composed of the owner, which is the LocalDefId of the directly enclosing hir::Item, hir::TraitItem, or hir::ImplItem (i.e., the closest “item-like”), and the local_id which is unique within the given owner.
ItemLocalId: An ItemLocalId uniquely identifies something within a given “item-like”; that is, within a hir::Item, hir::TraitItem, or hir::ImplItem. There is no guarantee that the numerical value of a given ItemLocalId corresponds to the node’s position within the owning item in any way, but there is a guarantee that the ItemLocalIds within an owner occupy a dense range of integers starting at zero, so a mapping that maps all or most nodes within an “item-like” to something else can be implemented by a Vec instead of a tree or hash map.
OwnerId
PartialConstStability: Excludes const_stable_indirect. This is necessary because when -Zforce-unstable-if-unmarked is set, we need to encode standalone #[rustc_const_stable_indirect] attributes
RustcVersion
Stability: Represents the following attributes:

CRATE_HIR_ID: The HirId corresponding to CRATE_NODE_ID and CRATE_DEF_ID.
CRATE_OWNER_ID
VERSION_PLACEHOLDER: The version placeholder that recently stabilized features contain inside the since field of the #[stable] attribute.

ArenaAllocatable
HashStableContext: Requirements for a StableHashingContext to be used in this crate. This is a hack to allow using the HashStable_Generic derive macro instead of implementing everything in rustc_middle.