Struct MatchTreeSubBranch

struct MatchTreeSubBranch<'tcx> {
    span: Span,
    success_block: BasicBlock,
    otherwise_block: BasicBlock,
    bindings: Vec<Binding<'tcx>>,
    ascriptions: Vec<Ascription<'tcx>>,
    is_never: bool,
}

A sub-branch in the output of match lowering. Match lowering has generated MIR code that will branch to success_block when the matched value matches the corresponding pattern. If there is a guard, its failure must continue to otherwise_block, which will resume testing patterns.

Fields

span: Span

success_block: BasicBlock

The block that is branched to if the corresponding subpattern matches.

otherwise_block: BasicBlock

The block to branch to if this arm had a guard and the guard fails.

bindings: Vec<Binding<'tcx>>

The bindings to set up in this sub-branch.

ascriptions: Vec<Ascription<'tcx>>

The ascriptions to set up in this sub-branch.

is_never: bool

Whether the sub-branch corresponds to a never pattern.

Implementations

impl<'tcx> MatchTreeSubBranch<'tcx>

fn from_sub_candidate( candidate: Candidate<'_, 'tcx>, parent_data: &Vec<PatternExtraData<'tcx>>, ) -> Self

Trait Implementations

impl<'tcx> Debug for MatchTreeSubBranch<'tcx>

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

Formats the value using the given formatter.

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: 72 bytes