A constant (expression) that’s not an item or associated item,
but needs its own DefId for type-checking, const-eval, etc.
These are usually found nested inside types (e.g., array lengths)
or expressions (e.g., repeat counts), and also used to define
explicit discriminant values for enum variants.
Represents a single arm of a match expression, e.g.
<pat> (if <guard>) => <body>.
A constraint on an associated item.
Attributes owned by a HIR owner.
The mode of a binding (mut, ref mut, etc).
Used for both the explicit binding annotations given in the HIR for a binding
and the final binding mode that we infer after type inference/match ergonomics.
.0 is the by-reference mode (ref, ref mut, or by value),
.1 is the mutability of the binding.
A block of statements { .. }, which may have a label (in this case the
targeted_by_break field will be true) and may be unsafe by means of
the rules being anything but DefaultBlock.
The body of a function, closure, or constant value. In the case of
a function, the body contains not only the function body itself
(which is an expression), but also the argument patterns, since
those are something that the caller doesn’t really care about.
A constant that enters the type system, used for arguments to const generics (e.g. array lengths).
An inline constant expression const { something }.
The top-level data structure that stores the entire contents of
the crate currently being compiled.
An expression.
Represents the header (not the body) of a function declaration.
Represents a function’s signature in a trait declaration,
trait implementation, or a free function.
A reference from a foreign block to one of its items. This
contains the item’s ID, naturally, but also the item’s name and
some other high-level details (like whether it is an associated
type or method, and whether it is public). This allows other
passes to find the impl they want without loading the ID (which
means fewer edges in the incremental compilation graph).
The generic arguments and associated item constraints of a path segment.
Represents lifetimes and type parameters attached to a declaration
of a function, enum, trait, etc.
Represents an impl block declaration.
Represents an associated item within an impl block.
A reference from an impl to one of its associated items. This
contains the item’s ID, naturally, but also the item’s name and
some other high-level details (like whether it is an associated
type or method, and whether it is public). This allows other
passes to find the impl they want without loading the ID (which
means fewer edges in the incremental compilation graph).
An item
Represents a
let <pat>[: <ty>] = <expr> expression (not a
LetStmt), occurring in an
if-let
or
let-else, evaluating to a boolean. Typically the pattern is refutable.
Represents a let statement (i.e., let <pat>:<ty> = <init>;).
Full information resulting from lowering an AST node.
Map of all HIR nodes inside the current owner.
These nodes are mapped by ItemLocalId alongside the index of their parent node.
The HIR tree, including bodies, is pre-hashed.
Represents a parameter in a function header.
HIR node coupled with its parent’s id in the same HIR owner.
A single field in a struct pattern.
A Path is essentially Rust’s notion of a name; for instance,
std::cmp::PartialEq. It’s represented as a sequence of identifiers,
along with a bunch of supporting information.
A segment of a path: an identifier, an optional lifetime, and a set of
types.
We need to have a
Node for the
HirId that we attach the type/const param
resolution to. Lifetimes don’t have this problem, and for them, it’s actually
kind of detrimental to use a custom node type versus just using
Lifetime,
since resolve_bound_vars operates on
Lifetimes.
A statement.
The modifiers on a trait bound.
Represents an item declaration within a trait declaration,
possibly including a default implementation. A trait item is
either required (meaning it doesn’t have an implementation, just a
signature) or provided (meaning it has a default implementation).
A reference from an trait to one of its associated items. This
contains the item’s id, naturally, but also the item’s name and
some other high-level details (like whether it is an associated
type or method, and whether it is public). This allows other
passes to find the impl they want without loading the ID (which
means fewer edges in the incremental compilation graph).
References to traits in impls.
A variable captured by a closure.
A type bound (e.g., for<'c> Foo: Send + Clone + 'c).
An equality predicate (e.g., T = int); currently unsupported.
A lifetime predicate (e.g., 'a: 'b + 'c).
The kind of borrow in an AddrOf expression,
e.g., &place or &raw const place.
The constness of a trait bound.
The polarity of a trait bound.
A capture clause used in closures and async blocks.
Represents for<...> binder before a closure
The kind of an item that requires const-checking.
The type of source expression that caused this coroutine to be created.
In the case of a coroutine created as part of an async/gen construct,
which kind of async/gen construct caused it to be created?
An item within an extern block.
Records where the generic parameter originated from.
Represents various kinds of content within an impl.
Represents what type of implicit self a function has, if any.
Is the trait definition an auto trait?
Hints at the original code for a let statement.
The loop type that yielded an ExprKind::Loop.
Hints at the original code for a match _ { .. }.
The movability of a coroutine / closure literal:
whether a coroutine contains self-references, causing it to be !Unpin.
From whence the opaque type came.
Not represented directly in the AST; referred to by name through a ty_path.
Represents an optionally Self-qualified value/type path or associated extension.
The contents of a statement.
Represents a trait method’s body (or just argument names).
Represents a trait method or associated constant or type
The various kinds of types recognized by the compiler.
Unary operator.
Fields and constructor IDs of enum variants and structs.
A single predicate in a where-clause.
The yield kind that caused an ExprKind::Yield.