Enum rustc_mir_build::build::BlockFrame

pub(in build) enum BlockFrame {
    Statement {
        ignores_expr_result: bool,
    },
    TailExpr {
        tail_result_is_ignored: bool,
        span: Span,
    },
    SubExpr,
}

Variants

Statement

Evaluation is currently within a statement.

Examples include:

1. EXPR;
2. let _ = EXPR;
3. let x = EXPR;

Fields of Statement

ignores_expr_result: bool

If true, then statement discards result from evaluating the expression (such as examples 1 and 2 above).

TailExpr

Evaluation is currently within the tail expression of a block.

Example: { STMT_1; STMT_2; EXPR }

Fields of TailExpr

tail_result_is_ignored: bool

If true, then the surrounding context of the block ignores the result of evaluating the block's tail expression.

Example: let _ = { STMT_1; EXPR };

span: Span

Span of the tail expression.

SubExpr

Generic mark meaning that the block occurred as a subexpression where the result might be used.

Examples: foo(EXPR), match EXPR { ... }

Implementations

impl BlockFrame

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

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

Trait Implementations

impl Debug for BlockFrame

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

Formats the value using the given formatter.

impl Eq for BlockFrame

impl PartialEq<BlockFrame> for BlockFrame

pub fn eq(&self, other: &BlockFrame) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &BlockFrame) -> bool

This method tests for !=.

impl StructuralEq for BlockFrame

impl StructuralPartialEq for BlockFrame