Struct rustc_mir_build::build::matches::MatchPair

pub(crate) struct MatchPair<'pat, 'tcx> {
    place: Option<Place<'tcx>>,
    test_case: TestCase<'pat, 'tcx>,
    subpairs: Vec<Self>,
    pattern: &'pat Pat<'tcx>,
}

Node in a tree of “match pairs”, where each pair consists of a place to be tested, and a test to perform on that place.

Each node also has a list of subpairs (possibly empty) that must also match, and a reference to the THIR pattern it represents.

Fields

place: Option<Place<'tcx>>

This place…

---

This can be None if it referred to a non-captured place in a closure.

Invariant: Can only be None when test_case is Irrefutable. Therefore this must be Some(_) after simplification.

test_case: TestCase<'pat, 'tcx>

… must pass this test…

---

Invariant: after creation and simplification in FlatPat::new, this must not be TestCase::Irrefutable.

subpairs: Vec<Self>

… and these subpairs must match.

pattern: &'pat Pat<'tcx>

The pattern this was created from.

Implementations

impl<'pat, 'tcx> MatchPair<'pat, 'tcx>

pub(in build) fn new( place_builder: PlaceBuilder<'tcx>, pattern: &'pat Pat<'tcx>, cx: &mut Builder<'_, 'tcx>, ) -> MatchPair<'pat, 'tcx>

Recursively builds a MatchPair tree for the given pattern and its subpatterns.

Trait Implementations

impl<'pat, 'tcx> Clone for MatchPair<'pat, 'tcx>

fn clone(&self) -> MatchPair<'pat, 'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'pat, 'tcx> Debug for MatchPair<'pat, '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: 136 bytes