Enum rustc_mir_build::build::matches::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.

Fields

adt_def: AdtDef<'tcx>

The enum type being tested.

SwitchInt

Test what value an integer or char has.

If

Test what value a bool has.

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 equal to 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

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