Expand description
This file builds up the ScopeTree
, which describes
the parent links in the region hierarchy.
For more information about how MIR-based region-checking works, see the rustc dev guide.
StructsΒ§
- Context π
- Scope
Resolution πVisitor
EnumsΒ§
- LetKind π
FunctionsΒ§
- record_
var_ πlifetime - Records the lifetime of a local variable as
cx.var_parent
- region_
scope_ πtree - Per-body
region::ScopeTree
. TheDefId
should be the ownerDefId
for the body; in the case of closures, this will be redirected to the enclosing function. - resolve_
arm π - resolve_
block π - resolve_
cond π - Resolve a condition from an
if
expression or match guard so that it is a terminating scope if it doesnβt containlet
expressions. - resolve_
expr π - resolve_
local π - resolve_
pat π - resolve_
stmt π