Auto merge of #90306 - kornelski:slicecloneasset, r=joshtriplett

[rust.git] / library / core / src / slice / raw.rs

diff --git a/library/core/src/slice/raw.rs b/library/core/src/slice/raw.rs
index edae555206fbe6c6e65213a1cca129e8944c0e24..81bb16d54015e9551266e41068e1bb6ec63cd5a5 100644 (file)
--- a/library/core/src/slice/raw.rs
+++ b/library/core/src/slice/raw.rs
@@ -141,17 +141,18 @@ fn rt_check<T>(data: *const T) {
         assert!(is_aligned_and_not_null(data), "attempt to create unaligned or null slice");
     }
 
-    const fn ctfe_check<T>(_data: *const T) {
-        // It's impossible to check alignment in const fn.
-        //
-        // CTFE engine checks that the pointer is aligned and not null.
-    }
+    const fn noop<T>(_: *const T) {}
 
     // SAFETY:
-    // - `calling from_raw_parts[_mut]` with arguments that fail to fulfil checks made here is UB, so unless UB is already triggered this is noop
-    // - CTFE makes the same checks as `rt_check`, so behavior change is not observable due to compilation error
+    //
+    // `rt_check` is just a debug assert to hint users that they are causing UB,
+    // it is not required for safety (the safety must be guatanteed by
+    // the `from_raw_parts[_mut]` caller).
+    //
+    // Since the checks are not required, we ignore them in CTFE as they can't
+    // be done there (alignment does not make much sense there).
     unsafe {
-        crate::intrinsics::const_eval_select((data,), ctfe_check, rt_check);
+        crate::intrinsics::const_eval_select((data,), noop, rt_check);
     }
 
     assert!(