Enum rustc_mir_build::build::matches::TestKind

enum TestKind<'tcx> {
    Switch {
        adt_def: AdtDef<'tcx>,
        variants: BitSet<VariantIdx>,
    },
    SwitchInt {
        switch_ty: Ty<'tcx>,
        options: FxIndexMap<Const<'tcx>, u128>,
    },
    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

switch_ty: Ty<'tcx>

The type of the value that we’re testing.

options: FxIndexMap<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: 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<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: &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: 72 bytes

Size for each variant:

• Switch: 47 bytes
• SwitchInt: 71 bytes
• Eq: 55 bytes
• Range: 15 bytes
• Len: 15 bytes