Function ValidPtr

pub fn ValidPtr(p: Pointer, T: Type, len: Len)

Official ptr safety doc: https://doc.rust-lang.org/std/ptr/index.html#safety.

Formal: Size(T, 0) || (!Size(T,0) && Deref(p, T, len) )

where

• Size
• Deref

Unsafe Function directly requiring this SP

• crate::foo