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

Test what enum variant a value is.

Fields of Switch

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.

SwitchInt

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

Fields of SwitchInt

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.

Eq

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

Fields of Eq

value: &'tcx Const<'tcx>ty: Ty<'tcx>

Range(PatRange<'tcx>)

Test whether the value falls within an inclusive or exclusive range

Len

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

Fields of Len

len: u64op: BinOp

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<'tcx>> 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>