Enum rustc_mir_build::build::matches::TestKind

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

See Test for more.

Variants

Switch

Fields

adt_def: &'tcx AdtDef

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

switch_ty: Ty<'tcx>

The type of the value that we’re testing.

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

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

For integers and chars 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.

For bool we always generate two edges, one for true and one for false.

Test what value an integer, bool, or char has.

Eq

Fields

value: &'tcx Const<'tcx>

ty: Ty<'tcx>

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

Range(PatRange<'tcx>)

Tuple Fields

0: 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<TestKind> 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: &TestKind<'tcx>) -> bool

This method tests for !=.

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

Size for each variant:

• Switch: 47 bytes
• SwitchInt: 71 bytes
• Eq: 23 bytes
• Range: 31 bytes
• Len: 15 bytes