Struct rustc_mir_build::build::scope::Scopes

pub struct Scopes<'tcx> {
    scopes: Vec<Scope>,
    breakable_scopes: Vec<BreakableScope<'tcx>>,
    unwind_drops: DropTree,
    generator_drops: DropTree,
}

Fields

scopes: Vec<Scope>

breakable_scopes: Vec<BreakableScope<'tcx>>

The current set of breakable scopes. See module comment for more details.

unwind_drops: DropTree

Drops that need to be done on unwind paths. See the comment on DropTree for more details.

generator_drops: DropTree

Drops that need to be done on paths to the GeneratorDrop terminator.

Implementations

impl<'tcx> Scopes<'tcx>

pub(crate) fn new() -> Self

fn push_scope(
    &mut self,
    region_scope: (Scope, SourceInfo),
    vis_scope: SourceScope
)

fn pop_scope(&mut self, region_scope: (Scope, SourceInfo)) -> Scope

fn scope_index(&self, region_scope: Scope, span: Span) -> usize

fn topmost(&self) -> Scope

Returns the topmost active scope, which is known to be alive until the next scope expression.

Trait Implementations

impl<'tcx> Debug for Scopes<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.