Function can_write_unaligned

pub fn can_write_unaligned<T: ?Sized>(ptr: *const T) -> bool

Check if the pointer is valid for unaligned write access according to crate::mem conditions 1, 2 and 3.

Note this function succeeds for unaligned pointers. See self::can_write if you also want to check pointer alignment.

This function will panic today if the pointer is not null, and it points to an unallocated or deallocated memory location. This is an existing Kani limitation. See https://github.com/model-checking/kani/issues/2690 for more details.