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.

Enums

Type Definitions