NonZero::from_mut_unchecked is library UB

This commit is contained in:
Ben Kimock 2024-03-09 12:26:48 -05:00
parent 27cf4bb985
commit af49c4df0a

View file

@ -368,7 +368,7 @@ where
// SAFETY: The caller guarantees that `n` references a value that is non-zero, so this is unreachable.
unsafe {
intrinsics::assert_unsafe_precondition!(
check_language_ub,
check_library_ub,
"NonZero::from_mut_unchecked requires the argument to dereference as non-zero",
() => false,
);