model-checking
diff --git a/‎alloc/src/raw_vec/mod.rs
Copy file name to clipboardExpand all lines: alloc/src/raw_vec/mod.rs
+1-1Lines changed: 1 addition & 1 deletion b/‎alloc/src/raw_vec/mod.rs
Copy file name to clipboardExpand all lines: alloc/src/raw_vec/mod.rs
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎alloc/src/vec/mod.rs
Copy file name to clipboardExpand all lines: alloc/src/vec/mod.rs
+3-3Lines changed: 3 additions & 3 deletions b/‎alloc/src/vec/mod.rs
Copy file name to clipboardExpand all lines: alloc/src/vec/mod.rs
+3-3Lines changed: 3 additions & 3 deletions
diff --git a/‎core/src/pin.rs
Copy file name to clipboardExpand all lines: core/src/pin.rs
+5-5Lines changed: 5 additions & 5 deletions b/‎core/src/pin.rs
Copy file name to clipboardExpand all lines: core/src/pin.rs
+5-5Lines changed: 5 additions & 5 deletions
diff --git a/‎std/src/sys/fs/unix.rs
Copy file name to clipboardExpand all lines: std/src/sys/fs/unix.rs
+1-2Lines changed: 1 addition & 2 deletions b/‎std/src/sys/fs/unix.rs
Copy file name to clipboardExpand all lines: std/src/sys/fs/unix.rs
+1-2Lines changed: 1 addition & 2 deletions
diff --git a/‎std/src/sys/pal/unix/thread.rs
Copy file name to clipboardExpand all lines: std/src/sys/pal/unix/thread.rs
+2-10Lines changed: 2 additions & 10 deletions b/‎std/src/sys/pal/unix/thread.rs
Copy file name to clipboardExpand all lines: std/src/sys/pal/unix/thread.rs
+2-10Lines changed: 2 additions & 10 deletions
@@ -287,7 +287,7 @@ impl<T, A: Allocator> RawVec<T, A> {
     }
 
     #[inline]
-    pub(crate) fn non_null(&self) -> NonNull<T> {
+    pub(crate) const fn non_null(&self) -> NonNull<T> {
         self.inner.non_null()
     }
 
 
@@ -1816,10 +1816,10 @@ impl<T, A: Allocator> Vec<T, A> {
     /// [`as_ptr`]: Vec::as_ptr
     /// [`as_non_null`]: Vec::as_non_null
     #[unstable(feature = "box_vec_non_null", reason = "new API", issue = "130364")]
+    #[rustc_const_unstable(feature = "box_vec_non_null", reason = "new API", issue = "130364")]
     #[inline]
-    pub fn as_non_null(&mut self) -> NonNull<T> {
-        // SAFETY: A `Vec` always has a non-null pointer.
-        unsafe { NonNull::new_unchecked(self.as_mut_ptr()) }
+    pub const fn as_non_null(&mut self) -> NonNull<T> {
+        self.buf.non_null()
     }
 
     /// Returns a reference to the underlying allocator.
 
@@ -12,11 +12,11 @@
 //! "pinned," in that it has been permanently (until the end of its lifespan) attached to its
 //! location in memory, as though pinned to a pinboard. Pinning a value is an incredibly useful
 //! building block for [`unsafe`] code to be able to reason about whether a raw pointer to the
-//! pinned value is still valid. [As we'll see later][drop-guarantee], this is necessarily from the
-//! time the value is first pinned until the end of its lifespan. This concept of "pinning" is
-//! necessary to implement safe interfaces on top of things like self-referential types and
-//! intrusive data structures which cannot currently be modeled in fully safe Rust using only
-//! borrow-checked [references][reference].
+//! pinned value is still valid. [As we'll see later][drop-guarantee], once a value is pinned,
+//! it is necessarily valid at its memory location until the end of its lifespan. This concept
+//! of "pinning" is necessary to implement safe interfaces on top of things like self-referential
+//! types and intrusive data structures which cannot currently be modeled in fully safe Rust using
+//! only borrow-checked [references][reference].
 //!
 //! "Pinning" allows us to put a *value* which exists at some location in memory into a state where
 //! safe code cannot *move* that value to a different location in memory or otherwise invalidate it
 
@@ -1498,11 +1498,10 @@ impl File {
             None => Ok(libc::timespec { tv_sec: 0, tv_nsec: libc::UTIME_OMIT as _ }),
         };
         cfg_if::cfg_if! {
-            if #[cfg(any(target_os = "redox", target_os = "espidf", target_os = "horizon", target_os = "vxworks", target_os = "nuttx"))] {
+            if #[cfg(any(target_os = "redox", target_os = "espidf", target_os = "horizon", target_os = "nuttx"))] {
                 // Redox doesn't appear to support `UTIME_OMIT`.
                 // ESP-IDF and HorizonOS do not support `futimens` at all and the behavior for those OS is therefore
                 // the same as for Redox.
-                // `futimens` and `UTIME_OMIT` are a work in progress for vxworks.
                 let _ = times;
                 Err(io::const_error!(
                     io::ErrorKind::Unsupported,
 
@@ -222,16 +222,8 @@ impl Thread {
 
     #[cfg(target_os = "vxworks")]
     pub fn set_name(name: &CStr) {
-        // FIXME(libc): adding real STATUS, ERROR type eventually.
-        unsafe extern "C" {
-            fn taskNameSet(task_id: libc::TASK_ID, task_name: *mut libc::c_char) -> libc::c_int;
-        }
-
-        //  VX_TASK_NAME_LEN is 31 in VxWorks 7.
-        const VX_TASK_NAME_LEN: usize = 31;
-
-        let mut name = truncate_cstr::<{ VX_TASK_NAME_LEN }>(name);
-        let res = unsafe { taskNameSet(libc::taskIdSelf(), name.as_mut_ptr()) };
+        let mut name = truncate_cstr::<{ libc::VX_TASK_RENAME_LENGTH - 1 }>(name);
+        let res = unsafe { libc::taskNameSet(libc::taskIdSelf(), name.as_mut_ptr()) };
         debug_assert_eq!(res, libc::OK);
     }
Original file line number	Diff line number	Diff line change
`@@ -287,7 +287,7 @@ impl<T, A: Allocator> RawVec<T, A> {`
`287`	`287`	`}`
`288`	`288`
`289`	`289`	`#[inline]`
`290`		`- pub(crate) fn non_null(&self) -> NonNull<T> {`
	`290`	`+ pub(crate) const fn non_null(&self) -> NonNull<T> {`
`291`	`291`	`self.inner.non_null()`
`292`	`292`	`}`
`293`	`293`