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§
- First
Statement Index - Represents a subscope of
block
for a binding that is introduced byblock.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 byfirst_statement_index
. - Rvalue
Candidate - See the
rvalue_candidates
field for more information on rvalue candidates in general. Thelifetime
field is None to indicate that certain expressions escape into ’static and should have no local cleanup scope. - Scope
- Represents a statically-describable scope that can be used to bound the lifetime/region for values.
- Scope
Tree - The region scope tree encodes information about region relationships.
- Yield
Data