Trait UsizeAssert 

pub unsafe trait UsizeAssert: Sized {
    type Type;

    const LHS: usize;
    const RHS: usize;
    const COMPARE: Comparison;
    const PROPERTY: &'static str;
    const FAILED: bool = _;

    // Provided method
    fn assert() { ... }
}

Compile time evaluable assert for usize values.

See module docs for what happens when an assertion fails.

Safety

Self::assert() and Self::FAILED must keep the default implementation.

Required Associated Constants

const LHS: usize

Left hand side of the comparison.

This is the value the type has.

const RHS: usize

Right hand side of the comparison.

This is the value to check against.

const COMPARE: Comparison

Type of comparison to make between Self::LHS and Self::RHS.

const PROPERTY: &'static str

Same of the property being checked.

This is printed in the failure message.

Provided Associated Constants

const FAILED: bool = _

Associated constant used to trigger compile time errors.

By making rustc evaluate this constant, you can trigger a compile time error.

See module docs for details.

Required Associated Types

type Type

Type with the property being checked.

Provided Methods

fn assert()

Assert the defined comparison is true.

Panics

This function will panic if the DUNGEON_CELL_RUNTIME_CHECKS environment variable is set and the assertion fails. Otherwise, this function is a no-op for the program.

See module docs for details.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<T, Alignment: IsAlignment> UsizeAssert for AlignmentSmallerOrEqualTo<T, Alignment>

const LHS: usize

const RHS: usize = Alignment::VALUE

const COMPARE: Comparison = Comparison::LessThanEqual

const PROPERTY: &'static str = "alignment"

type Type = T

impl<T, Size: IsSize> UsizeAssert for SizeSmallerOrEqualTo<T, Size>

const LHS: usize

const RHS: usize = Size::VALUE

const COMPARE: Comparison = Comparison::LessThanEqual

const PROPERTY: &'static str = "size"

type Type = T