Invariants

Trait Invariants 

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

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

Required Associated Types§

Implementations on Foreign Types§

Source§

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

Implementors§