Type Alias InvariantsFnWide 

pub type InvariantsFnWide = for<'mem> unsafe fn(value: PtrConstWide<'mem>) -> bool;

Function to validate the invariants of a value. If it returns false, the value is considered invalid (wide pointer version).

Safety

The value parameter must point to aligned, initialized memory of the correct type.