Function `maybe_is_aligned_and_not_null`

pub(crate) const fn maybe_is_aligned_and_not_null(ptr: *const (), align: usize, is_zst: bool) -> bool

Checks whether ptr is properly aligned with respect to the given alignment, and if is_zst == false, that ptr is not null.

In const this is approximate and can fail spuriously. It is primarily intended for assert_unsafe_precondition! with check_language_ub, in which case the check is anyway not executed in const.