Enum TestKind

enum TestKind<'tcx> {
    Switch {
        adt_def: AdtDef<'tcx>,
    },
    SwitchInt,
    If,
    Eq {
        value: Const<'tcx>,
        ty: Ty<'tcx>,
    },
    Range(Box<PatRange<'tcx>>),
    Len {
        len: u64,
        op: BinOp,
    },
    Deref {
        temp: Place<'tcx>,
        mutability: Mutability,
    },
    Never,
}

See Test for more.

Variants

Switch

Test what enum variant a value is.

The subset of expected variants is not stored here; instead they are extracted from the TestCases of the candidates participating in the test.

Fields

adt_def: AdtDef<'tcx>

The enum type being tested.

SwitchInt

Test what value an integer or char has.

The test’s target values are not stored here; instead they are extracted from the TestCases of the candidates participating in the test.

If

Test whether a bool is true or false.

Eq

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

Fields

value: Const<'tcx>

ty: Ty<'tcx>

Range(Box<PatRange<'tcx>>)

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

Len

Test that the length of the slice is == len or >= len.

Fields

len: u64

op: BinOp

Deref

Call Deref::deref[_mut] on the value.

Fields

temp: Place<'tcx>

Temporary to store the result of deref()/deref_mut().

mutability: Mutability

Never

Assert unreachability of never patterns.

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

Tests for self and other values to be equal, and is used by ==.

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

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

Size for each variant:

• Switch: 16 bytes
• SwitchInt: 0 bytes
• If: 0 bytes
• Eq: 48 bytes
• Range: 16 bytes
• Len: 24 bytes
• Deref: 32 bytes
• Never: 0 bytes