Struct rustc_mir_build::build::scope::Scopes

pub(crate) struct Scopes<'tcx> {
    scopes: Vec<Scope>,
    breakable_scopes: Vec<BreakableScope<'tcx>>,
}

Fields

scopes: Vec<Scope>

breakable_scopes: Vec<BreakableScope<'tcx>>

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

Implementations

impl<'tcx> Scopes<'tcx>

fn len(&self) -> usize

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

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

fn may_panic(&self, scope_count: usize) -> bool

fn find_breakable_scope(
    &self,
    span: Span,
    target: BreakableTarget
) -> (BasicBlock, Scope, Option<Place<'tcx>>)

Finds the breakable scope for a given label. This is used for resolving return, break and continue.

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

fn iter_mut(&mut self) -> impl DoubleEndedIterator<Item = &mut Scope> + '_

fn top_scopes(
    &mut self,
    count: usize
) -> impl DoubleEndedIterator<Item = &mut Scope> + '_

pub(super) fn topmost(
    &self
) -> Scope

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

fn source_info(&self, index: usize, span: Span) -> SourceInfo

Trait Implementations

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

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

Formats the value using the given formatter.

impl<'tcx> Default for Scopes<'tcx>

fn default() -> Scopes<'tcx>

Returns the "default value" for a type.