Trait Invariants 

pub trait Invariants: Sealed {
    type Aliasing: Aliasing;
    type Alignment: Alignment;
    type Validity: Validity;
}

The invariants of a [Ptr][super::Ptr].

Required Associated Types

type Aliasing: Aliasing

type Alignment: Alignment

type Validity: Validity

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<A: Aliasing, AA: Alignment, V: Validity> Invariants for (A, AA, V)

type Aliasing = A

type Alignment = AA

type Validity = V

Implementors