pub const fn for_box_opt<A: ?Sized>() -> SameLayout<*const A, Option<Box<A>>>
A proof that any optional box has same layout as a raw pointer.