Enum rustc_middle::mir::AssertKind

pub enum AssertKind<O> {
    BoundsCheck {
        len: O,
        index: O,
    },
    Overflow(BinOp, O, O),
    OverflowNeg(O),
    DivisionByZero(O),
    RemainderByZero(O),
    ResumedAfterReturn(GeneratorKind),
    ResumedAfterPanic(GeneratorKind),
}

Information about an assertion failure.

Variants

BoundsCheck

Fields of BoundsCheck

len: Oindex: O

Overflow(BinOp, O, O)

OverflowNeg(O)

DivisionByZero(O)

RemainderByZero(O)

ResumedAfterReturn(GeneratorKind)

ResumedAfterPanic(GeneratorKind)

Implementations

impl<O> AssertKind<O>

pub fn description(&self) -> &'static str

Getting a description does not require O to be printable, and does not require allocation. The caller is expected to handle BoundsCheck separately.

pub(in mir) fn fmt_assert_args<W: Write>(
    &self,
    f: &mut W
) -> Result where
    O: Debug, 

Format the message arguments for the assert(cond, msg..) terminator in MIR printing.

Trait Implementations

impl<O: Clone> Clone for AssertKind<O>

pub fn clone(&self) -> AssertKind<O>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<O: Debug> Debug for AssertKind<O>

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

Formats the value using the given formatter.

impl<'tcx, O, __D: TyDecoder<'tcx>> Decodable<__D> for AssertKind<O> where
    O: Decodable<__D>, 

pub fn decode(__decoder: &mut __D) -> Result<Self, <__D as Decoder>::Error>

impl<'tcx, O, __E: TyEncoder<'tcx>> Encodable<__E> for AssertKind<O> where
    O: Encodable<__E>, 

pub fn encode(&self, __encoder: &mut __E) -> Result<(), <__E as Encoder>::Error>

impl<'__ctx, O> HashStable<StableHashingContext<'__ctx>> for AssertKind<O> where
    O: HashStable<StableHashingContext<'__ctx>>, 

pub fn hash_stable(
    &self,
    __hcx: &mut StableHashingContext<'__ctx>,
    __hasher: &mut StableHasher
)

impl<O: PartialEq> PartialEq<AssertKind<O>> for AssertKind<O>

pub fn eq(&self, other: &AssertKind<O>) -> bool

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

pub fn ne(&self, other: &AssertKind<O>) -> bool

This method tests for !=.

impl<O> StructuralPartialEq for AssertKind<O>