update intrinsic const param counting

fee1-dead · fee1-dead · commit 1f1793634b49 · 2024-06-21T09:23:54.000Z
diff --git a/core/src/ffi/c_str.rs b/core/src/ffi/c_str.rs
@@ -517,7 +517,8 @@ impl CStr {
     const fn as_non_null_ptr(&self) -> NonNull<c_char> {
         // FIXME(effects) replace with `NonNull::from`
         // SAFETY: a reference is never null
-        unsafe { NonNull::new_unchecked(&self.inner as *const [c_char] as *mut [c_char]) }.as_non_null_ptr()
+        unsafe { NonNull::new_unchecked(&self.inner as *const [c_char] as *mut [c_char]) }
+            .as_non_null_ptr()
     }
 
     /// Returns the length of `self`. Like C's `strlen`, this does not include the nul terminator.
diff --git a/core/src/lib.rs b/core/src/lib.rs
@@ -200,6 +200,7 @@
 // Language features:
 // tidy-alphabetical-start
 #![cfg_attr(bootstrap, feature(c_unwind))]
+#![cfg_attr(bootstrap, feature(effects))]
 #![feature(abi_unadjusted)]
 #![feature(adt_const_params)]
 #![feature(allow_internal_unsafe)]

Original file line number	Diff line number	Diff line change
`@@ -517,7 +517,8 @@ impl CStr {`
`517`	`517`	`const fn as_non_null_ptr(&self) -> NonNull<c_char> {`
`518`	`518`	// FIXME(effects) replace with `NonNull::from`
`519`	`519`	`// SAFETY: a reference is never null`
`520`		`- unsafe { NonNull::new_unchecked(&self.inner as const [c_char] as mut [c_char]) }.as_non_null_ptr()`
	`520`	`+ unsafe { NonNull::new_unchecked(&self.inner as const [c_char] as mut [c_char]) }`
	`521`	`+ .as_non_null_ptr()`
`521`	`522`	`}`
`522`	`523`
`523`	`524`	/// Returns the length of `self`. Like C's `strlen`, this does not include the nul terminator.