Function for_non_null_opt 

pub const fn for_non_null_opt<A: ?Sized>() -> SameLayout<*const A, Option<NonNull<A>>>

A proof that an option of a non-null pointer has the same layout as a raw pointer.