Struct rustc_mir_build::build::BlockContext

pub(in build) struct BlockContext(Vec<BlockFrame>);

Implementations

impl BlockContext

pub(in build) fn new(
) -> Self

pub(in build) fn push(
    &mut self,
    bf: BlockFrame
)

pub(in build) fn pop(
    &mut self
) -> Option<BlockFrame>

pub(in build) fn currently_in_block_tail(
    &self
) -> Option<BlockTailInfo>

Traverses the frames on the BlockContext, searching for either the first block-tail expression frame with no intervening statement frame.

Notably, this skips over SubExpr frames; this method is meant to be used in the context of understanding the relationship of a temp (created within some complicated expression) with its containing expression, and whether the value of that containing expression (not the temp!) is ignored.

pub(in build) fn currently_ignores_tail_results(
    &self
) -> bool

Looks at the topmost frame on the BlockContext and reports whether its one that would discard a block tail result.

Unlike currently_within_ignored_tail_expression, this does not skip over SubExpr frames: here, we want to know whether the block result itself is discarded.

Trait Implementations

impl Debug for BlockContext

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

Formats the value using the given formatter.