Type Alias AssertMessage

pub type AssertMessage<'tcx> = AssertKind<Operand<'tcx>>;

Type for MIR Assert terminator error messages.

Aliased Type

enum AssertMessage<'tcx> {
    BoundsCheck {
        len: Operand<'tcx>,
        index: Operand<'tcx>,
    },
    Overflow(BinOp, Operand<'tcx>, Operand<'tcx>),
    OverflowNeg(Operand<'tcx>),
    DivisionByZero(Operand<'tcx>),
    RemainderByZero(Operand<'tcx>),
    ResumedAfterReturn(CoroutineKind),
    ResumedAfterPanic(CoroutineKind),
    MisalignedPointerDereference {
        required: Operand<'tcx>,
        found: Operand<'tcx>,
    },
}

Variants

BoundsCheck

Fields

len: Operand<'tcx>

index: Operand<'tcx>

Overflow(BinOp, Operand<'tcx>, Operand<'tcx>)

OverflowNeg(Operand<'tcx>)

DivisionByZero(Operand<'tcx>)

RemainderByZero(Operand<'tcx>)

ResumedAfterReturn(CoroutineKind)

ResumedAfterPanic(CoroutineKind)

MisalignedPointerDereference

Fields

required: Operand<'tcx>

found: Operand<'tcx>