Struct rustc_mir_build::build::matches::Candidate

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

Whether 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 it’s false then branch to otherwise_block.

pre_binding_block: Option<BasicBlock>

The block before the bindings have been established.

next_candidate_pre_binding_block: Option<BasicBlock>

The pre-binding block of the next candidate.

Implementations

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

fn new(
    place: PlaceBuilder<'tcx>,
    pattern: &'pat Pat<'tcx>,
    has_guard: bool
) -> Self

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>

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

Formats the value using the given formatter.