Enum rustc_middle::mir::interpret::CheckInAllocMsg

pub enum CheckInAllocMsg {
    MemoryAccessTest,
    NullPointerTest,
    PointerArithmeticTest,
    InboundsTest,
}

Details of why a pointer had to be in-bounds.

Variants

MemoryAccessTest

NullPointerTest

PointerArithmeticTest

InboundsTest

Trait Implementations

impl Clone for CheckInAllocMsg

pub fn clone(&self) -> CheckInAllocMsg

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for CheckInAllocMsg

impl Debug for CheckInAllocMsg

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

Formats the value using the given formatter.

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for CheckInAllocMsg

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

impl Display for CheckInAllocMsg

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

When this is printed as an error the context looks like this "{test name} failed: pointer must be in-bounds at offset..."

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for CheckInAllocMsg

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

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for CheckInAllocMsg

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