Change swap_nonoverlapping from lang to library UB

saethlin · saethlin · commit 3715d9e0c167 · 2025-02-12T12:20:14.000-05:00
diff --git a/core/src/ptr/mod.rs b/core/src/ptr/mod.rs
@@ -1070,7 +1070,7 @@ pub const unsafe fn swap<T>(x: *mut T, y: *mut T) {
 #[rustc_diagnostic_item = "ptr_swap_nonoverlapping"]
 pub const unsafe fn swap_nonoverlapping<T>(x: *mut T, y: *mut T, count: usize) {
     ub_checks::assert_unsafe_precondition!(
-        check_language_ub,
+        check_library_ub,
         "ptr::swap_nonoverlapping requires that both pointer arguments are aligned and non-null \
         and the specified memory ranges do not overlap",
         (

Original file line number	Diff line number	Diff line change
`@@ -1070,7 +1070,7 @@ pub const unsafe fn swap<T>(x: mut T, y: mut T) {`
`1070`	`1070`	`#[rustc_diagnostic_item = "ptr_swap_nonoverlapping"]`
`1071`	`1071`	`pub const unsafe fn swap_nonoverlapping<T>(x: mut T, y: mut T, count: usize) {`
`1072`	`1072`	`ub_checks::assert_unsafe_precondition!(`
`1073`		`- check_language_ub,`
	`1073`	`+ check_library_ub,`
`1074`	`1074`	`"ptr::swap_nonoverlapping requires that both pointer arguments are aligned and non-null \`
`1075`	`1075`	`and the specified memory ranges do not overlap",`
`1076`	`1076`	`(`