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
blockfor 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. - 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
Enums§
- Rvalue
Candidate Type - Identifies the reason that a given expression is an rvalue candidate
(see the
rvalue_candidatesfield for more information what rvalue candidates in general). In constants, thelifetimefield is None to indicate that certain expressions escape into ’static and should have no local cleanup scope. - Scope
Data