Struct rustc_mir_build::build::matches::Candidate

pub(in build::matches) struct Candidate<'pat, 'tcx> {
    span: Span,
    has_guard: bool,
    match_pairs: SmallVec<[MatchPair<'pat, 'tcx>; 1]>,
    bindings: Vec<Binding<'tcx>>,
    ascriptions: Vec<Ascription<'tcx>>,
    subcandidates: Vec<Candidate<'pat, 'tcx>>,
    otherwise_block: Option<BasicBlock>,
    pre_binding_block: Option<BasicBlock>,
    next_candidate_pre_binding_block: Option<BasicBlock>,
}

Fields

span: Span

Span of the original pattern that gave rise to this candidate

has_guard: bool

This Candidate has a guard.

match_pairs: SmallVec<[MatchPair<'pat, 'tcx>; 1]>

All of these must be satisfied...

bindings: Vec<Binding<'tcx>>

...these bindings established...

ascriptions: Vec<Ascription<'tcx>>

...and these types asserted...

subcandidates: Vec<Candidate<'pat, 'tcx>>

... and if this is non-empty, one of these subcandidates also has to match ...

otherwise_block: Option<BasicBlock>

...and the guard must be evaluated, if false branch to Block...

pre_binding_block: Option<BasicBlock>

...and the blocks for add false edges between candidates

next_candidate_pre_binding_block: Option<BasicBlock>

Implementations

impl<'tcx, 'pat> Candidate<'pat, 'tcx>

pub(in build::matches) fn new(
    place: Place<'tcx>,
    pattern: &'pat Pat<'tcx>,
    has_guard: bool
) -> Self

pub(in build::matches) fn visit_leaves<'a>(
    &'a mut self,
    visit_leaf: impl FnMut(&'a mut Self)
)

Visit the leaf candidates (those with no subcandidates) contained in this candidate.

Trait Implementations

impl<'pat, 'tcx> Debug for Candidate<'pat, 'tcx>

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

Formats the value using the given formatter.