Module region 

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.

Re-exports

use std::mem; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::def::CtorKind; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def::Res; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_hir::intravisit; 🔒

use rustc_hir::intravisit::Visitor; 🔒

use rustc_hir::Arm; 🔒

use rustc_hir::Block; 🔒

use rustc_hir::Expr; 🔒

use rustc_hir::LetStmt; 🔒

use rustc_hir::Pat; 🔒

use rustc_hir::PatKind; 🔒

use rustc_hir::Stmt; 🔒

use rustc_index::Idx; 🔒

use rustc_lint_defs::LintId; 🔒

use rustc_lint_defs::builtin::TAIL_EXPR_DROP_ORDER; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::Spanned; 🔒

use tracing::debug; 🔒

use rustc_middle::middle::region::*; 🔒

Structs

Context 🔒

ScopeResolutionVisitor 🔒

Enums

LetKind 🔒

Functions

record_subexpr_extended_temp_scopes 🔒

Applied to an expression expr if expr – or something owned or partially owned by expr – is going to be indirectly referenced by a variable in a let statement. In that case, the “temporary lifetime” of expr is extended to be the block enclosing the let statement.

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_cond 🔒

Resolve a condition from an if expression or match guard so that it is a terminating scope if it doesn’t contain let expressions.

resolve_expr 🔒

resolve_local 🔒

resolve_pat 🔒

resolve_stmt 🔒