Enum TestableCase 

enum TestableCase<'tcx> {
    Variant {
        adt_def: AdtDef<'tcx>,
        variant_index: VariantIdx,
    },
    Constant {
        value: Value<'tcx>,
        kind: PatConstKind,
    },
    Range(Arc<PatRange<'tcx>>),
    Slice {
        len: u64,
        op: SliceLenOp,
    },
    Deref {
        temp: Place<'tcx>,
        mutability: Mutability,
    },
    Never,
    Or {
        pats: Box<[FlatPat<'tcx>]>,
    },
}

Partial summary of a thir::Pat, indicating what sort of test should be performed to match/reject the pattern, and what the desired test outcome is. This avoids having to perform a full match on thir::PatKind in some places, and helps TestKind::Switch and TestKind::SwitchInt know what target values to use.

Created by MatchPairTree::for_pattern, and then inspected primarily by:

• Builder::pick_test_for_match_pair (to choose a test)
• Builder::choose_bucket_for_candidate (to see how the test interacts with a match pair)

Note that or-patterns are not tested directly like the other variants. Instead they participate in or-pattern expansion, where they are transformed into subcandidates. See Builder::expand_and_match_or_candidates.

Variants

Variant

Fields

adt_def: AdtDef<'tcx>

variant_index: VariantIdx

Constant

Fields

value: Value<'tcx>

kind: PatConstKind

Range(Arc<PatRange<'tcx>>)

Slice

Fields

len: u64

op: SliceLenOp

Deref

Fields

temp: Place<'tcx>

mutability: Mutability

Never

Or

Fields

pats: Box<[FlatPat<'tcx>]>

Implementations

impl<'tcx> TestableCase<'tcx>

fn as_range(&self) -> Option<&PatRange<'tcx>>

Trait Implementations

impl<'tcx> Clone for TestableCase<'tcx>

fn clone(&self) -> TestableCase<'tcx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for TestableCase<'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: 24 bytes

Size for each variant:

• Variant: 15 bytes
• Constant: 23 bytes
• Range: 15 bytes
• Slice: 15 bytes
• Deref: 23 bytes
• Never: 0 bytes
• Or: 23 bytes