update intrinsic const param counting · model-checking/verify-rust-std@1f17936 (original) (raw)

2 files changed

lines changed

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.

Original file line number	Diff line number	Diff line change
@@ -200,6 +200,7 @@
200	200	// Language features:
201	201	// tidy-alphabetical-start
202	202	#![cfg_attr(bootstrap, feature(c_unwind))]
	203	+#![cfg_attr(bootstrap, feature(effects))]
203	204	#![feature(abi_unadjusted)]
204	205	#![feature(adt_const_params)]
205	206	#![feature(allow_internal_unsafe)]