Struct rustc_mir_build::build::BlockContext
source · struct BlockContext(Vec<BlockFrame>);
Tuple Fields§
§0: Vec<BlockFrame>
Implementations§
source§impl BlockContext
impl BlockContext
fn new() -> Self
fn push(&mut self, bf: BlockFrame)
fn pop(&mut self) -> Option<BlockFrame>
sourcefn currently_in_block_tail(&self) -> Option<BlockTailInfo>
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.
sourcefn currently_ignores_tail_results(&self) -> bool
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§
Auto Trait Implementations§
impl RefUnwindSafe for BlockContext
impl !Send for BlockContext
impl !Sync for BlockContext
impl Unpin for BlockContext
impl UnwindSafe for BlockContext
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 24 bytes