Struct MatchPairTree

pub(crate) struct MatchPairTree<'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.

---

Subpairs typically represent tests that can only be performed after their parent has succeeded. For example, the pattern Some(3) might have an outer match pair that tests for the variant Some, and then a subpair that tests its field for the value 3.

pattern: &'pat Pat<'tcx>

The pattern this was created from.

Implementations

impl<'pat, 'tcx> MatchPairTree<'pat, 'tcx>

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

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

Trait Implementations

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

fn clone(&self) -> MatchPairTree<'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 MatchPairTree<'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