Module region 

This file declares the ScopeTree type, 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::fmt; 🔒

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_data_structures::unord::UnordMap; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::HirId; 🔒

use rustc_hir::ItemLocalMap; 🔒

use rustc_hir::Node; 🔒

use rustc_macros::StableHash; 🔒

use rustc_macros::TyDecodable; 🔒

use rustc_macros::TyEncodable; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::Span; 🔒

use rustc_span::span_bug; 🔒

use tracing::debug; 🔒

use crate::ty; 🔒

use crate::ty::TyCtxt; 🔒

Structs

FirstStatementIndex

Represents a subscope of block for a binding that is introduced by block.stmts[first_statement_index]. Such subscopes represent a suffix of the block. Note that each subscope does not include the initializer expression, if any, for the statement indexed by first_statement_index.

Scope

Represents a statically-describable scope that can be used to bound the lifetime/region for values.

ScopeTree

The region scope tree encodes information about region relationships.

TempLifetime

Temporary lifetime information for expressions, used when lowering to MIR.

Enums

ScopeData