Enum rustc_mir_build::build::matches::TestKind

enum TestKind<'tcx> {
    Switch {
        adt_def: AdtDef<'tcx>,
        variants: BitSet<VariantIdx>,
    },
    SwitchInt {
        options: FxIndexMap<Const<'tcx>, u128>,
    },
    If,
    Eq {
        value: Const<'tcx>,
        ty: Ty<'tcx>,
    },
    Range(Box<PatRange<'tcx>>),
    Len {
        len: u64,
        op: BinOp,
    },
}

See Test for more.

Variants

Switch

Fields

adt_def: AdtDef<'tcx>

The enum type being tested.

variants: BitSet<VariantIdx>

The set of variants that we should create a branch for. We also create an additional “otherwise” case.

Test what enum variant a value is.

SwitchInt

Fields

options: FxIndexMap<Const<'tcx>, u128>

The (ordered) set of values that we test for.

We create a branch to each of the values in options, as well as an “otherwise” branch for all other values, even in the (rare) case that options is exhaustive.

Test what value an integer or char has.

If

Test what value a bool has.

Eq

Fields

value: Const<'tcx>

ty: Ty<'tcx>

Test for equality with value, possibly after an unsizing coercion to ty,

Range(Box<PatRange<'tcx>>)

Test whether the value falls within an inclusive or exclusive range.

Len

Fields

len: u64

op: BinOp

Test that the length of the slice is equal to len.

Trait Implementations

impl<'tcx> Clone for TestKind<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for TestKind<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> PartialEq for TestKind<'tcx>

fn eq(&self, other: &TestKind<'tcx>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'tcx> StructuralPartialEq for TestKind<'tcx>

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: 56 bytes

Size for each variant:

• Switch: 48 bytes
• SwitchInt: 56 bytes
• If: 0 bytes
• Eq: 56 bytes
• Range: 16 bytes
• Len: 24 bytes