Struct rustc_mir_build::build::BlockContext

struct BlockContext(Vec<BlockFrame>);

Implementations

impl BlockContext

fn new() -> Self

fn push(&mut self, bf: BlockFrame)

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

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.

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.