Module rustc_hir_analysis::check::region

source ·
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
RegionResolutionVisitor 🔒

Statics

CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒

Functions

is_binding_pat 🔒
Returns true if pat match the P& non-terminal.
record_rvalue_scope_if_borrow_expr 🔒
If expr matches the E& grammar, then records an extended rvalue scope as appropriate:
record_var_lifetime 🔒
Records the lifetime of a local variable as cx.var_parent
region_scope_tree
Per-body region::ScopeTree. The DefId should be the owner DefId for the body; in the case of closures, this will be redirected to the enclosing function.
resolve_arm 🔒
resolve_block 🔒
resolve_expr 🔒
resolve_local 🔒
resolve_pat 🔒
resolve_stmt 🔒