[−][src]Module rustc_middle::middle::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.

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.
YieldData