Content-Length: 273042 | pFad | https://github.com/model-checking/verify-rust-std/commit/369fa557b2ffb21e70079f6b83deee2fd5852be2

91 Rollup merge of #126402 - firefighterduck:fix-unsafe-precon-copy, r=N… · model-checking/verify-rust-std@369fa55 · GitHub
Skip to content

Commit 369fa55

Browse files
authored
Rollup merge of rust-lang#126402 - firefighterduck:fix-unsafe-precon-copy, r=Nilstrieb
Fix wrong `assert_unsafe_precondition` message for `core::ptr::copy` A small fix in the `assert_unsafe_precondition` message for `core::ptr::copy` as described by rust-lang#126400 . fixes rust-lang#126400
2 parents 2acb995 + 891f00c commit 369fa55

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

core/src/intrinsics.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3043,8 +3043,7 @@ pub const unsafe fn copy<T>(src: *const T, dst: *mut T, count: usize) {
30433043
unsafe {
30443044
ub_checks::assert_unsafe_precondition!(
30453045
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",
30483047
(
30493048
src: *const () = src as *const (),
30503049
dst: *mut () = dst as *mut (),

0 commit comments

Comments
 (0)








ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: https://github.com/model-checking/verify-rust-std/commit/369fa557b2ffb21e70079f6b83deee2fd5852be2

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy