Enum rustc_mir_build::build::matches::TestKind

pub(in build::matches) 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,
    },
}

Variants

Switch

Test the branches of enum.

Fields of Switch

adt_def: &'tcx AdtDef

The enum 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 length of the slice is equal to len

Fields of Len

len: u64op: BinOp

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

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

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

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

This method tests for !=.

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