fix wrong assert_unsafe_precondition message for core::ptr::copy · model-checking/verify-rust-std@891f00c (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -3043,8 +3043,7 @@ pub const unsafe fn copy(src: const T, dst: mut T, count: usize) {
3043	3043	unsafe {
3044	3044	ub_checks::assert_unsafe_precondition!(
3045	3045	check_language_ub,
3046		-"ptr::copy_nonoverlapping requires that both pointer arguments are aligned and non-null \
3047		- and the specified memory ranges do not overlap",
	3046	+"ptr::copy requires that both pointer arguments are aligned and non-null",
3048	3047	(
3049	3048	src: const () = src as const (),
3050	3049	dst: mut () = dst as mut (),