Module rustc_middle::middle::region [−][src]
Expand description
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
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
.
Represents a statically-describable scope that can be used to bound the lifetime/region for values.
The region scope tree encodes information about region relationships.