Fix doc nits · model-checking/verify-rust-std@fb7d2a8
@@ -428,7 +428,7 @@ impl<T> Arc<T> {
428428 /// }
429429 ///
430430 /// impl Gadget {
431- /// /// Construct a reference counted Gadget.
431+ /// /// Constructs a reference counted Gadget.
432432 /// fn new() -> Arc<Self> {
433433 /// // `me` is a `Weak<Gadget>` pointing at the new allocation of the
434434 /// // `Arc` we're constructing.
@@ -438,7 +438,7 @@ impl<T> Arc<T> {
438438 /// })
439439 /// }
440440 ///
441- /// /// Return a reference counted pointer to Self.
441+ /// /// Returns a reference counted pointer to Self.
442442 /// fn me(&self) -> Arc<Self> {
443443 /// self.me.upgrade().unwrap()
444444 /// }
@@ -2531,7 +2531,7 @@ unsafe impl<#[may_dangle] T: ?Sized, A: Allocator> Drop for Arc<T, A> {
25312531}
2532253225332533impl<A: Allocator> Arc<dyn Any + Send + Sync, A> {
2534-/// Attempt to downcast the `Arc<dyn Any + Send + Sync>` to a concrete type.
2534+/// Attempts to downcast the `Arc<dyn Any + Send + Sync>` to a concrete type.
25352535 ///
25362536 /// # Examples
25372537 ///
@@ -3545,7 +3545,7 @@ impl<T, const N: usize> From<[T; N]> for Arc<[T]> {
35453545#[cfg(not(no_global_oom_handling))]
35463546#[stable(feature = "shared_from_slice", since = "1.21.0")]
35473547impl<T: Clone> From<&[T]> for Arc<[T]> {
3548-/// Allocate a reference-counted slice and fill it by cloning `v`'s items.
3548+/// Allocates a reference-counted slice and fills it by cloning `v`'s items.
35493549 ///
35503550 /// # Example
35513551 ///
@@ -3564,7 +3564,7 @@ impl<T: Clone> From<&[T]> for Arc<[T]> {
35643564#[cfg(not(no_global_oom_handling))]
35653565#[stable(feature = "shared_from_slice", since = "1.21.0")]
35663566impl From<&str> for Arc<str> {
3567-/// Allocate a reference-counted `str` and copy `v` into it.
3567+/// Allocates a reference-counted `str` and copies `v` into it.
35683568 ///
35693569 /// # Example
35703570 ///
@@ -3583,7 +3583,7 @@ impl From<&str> for Arc<str> {
35833583#[cfg(not(no_global_oom_handling))]
35843584#[stable(feature = "shared_from_slice", since = "1.21.0")]
35853585impl From<String> for Arc<str> {
3586-/// Allocate a reference-counted `str` and copy `v` into it.
3586+/// Allocates a reference-counted `str` and copies `v` into it.
35873587 ///
35883588 /// # Example
35893589 ///
@@ -3621,7 +3621,7 @@ impl<T: ?Sized, A: Allocator> From<Box<T, A>> for Arc<T, A> {
36213621#[cfg(not(no_global_oom_handling))]
36223622#[stable(feature = "shared_from_slice", since = "1.21.0")]
36233623impl<T, A: Allocator + Clone> From<Vec<T, A>> for Arc<[T], A> {
3624-/// Allocate a reference-counted slice and move `v`'s items into it.
3624+/// Allocates a reference-counted slice and moves `v`'s items into it.
36253625 ///
36263626 /// # Example
36273627 ///
@@ -3654,8 +3654,8 @@ where
36543654B: ToOwned + ?Sized,
36553655Arc<B>: From<&'a B> + From<B::Owned>,
36563656{
3657-/// Create an atomically reference-counted pointer from
3658- /// a clone-on-write pointer by copying its content.
3657+/// Creates an atomically reference-counted pointer from a clone-on-write
3658+ /// pointer by copying its content.
36593659 ///
36603660 /// # Example
36613661 ///
@@ -3811,7 +3811,7 @@ impl<T: ?Sized, A: Allocator> AsRef<T> for Arc<T, A> {
38113811#[stable(feature = "pin", since = "1.33.0")]
38123812impl<T: ?Sized, A: Allocator> Unpin for Arc<T, A> {}
381338133814-/// Get the offset within an `ArcInner` for the payload behind a pointer.
3814+/// Gets the offset within an `ArcInner` for the payload behind a pointer.
38153815///
38163816/// # Safety
38173817///
@@ -3833,7 +3833,7 @@ fn data_offset_align(align: usize) -> usize {
38333833 layout.size() + layout.padding_needed_for(align)
38343834}
383538353836-/// A unique owning pointer to a [`ArcInner`] **that does not imply the contents are initialized,**
3836+/// A unique owning pointer to an [`ArcInner`] **that does not imply the contents are initialized,**
38373837/// but will deallocate it (without dropping the value) when dropped.
38383838///
38393839/// This is a helper for [`Arc::make_mut()`] to ensure correct cleanup on panic.
@@ -3846,7 +3846,7 @@ struct UniqueArcUninit<T: ?Sized, A: Allocator> {
3846384638473847#[cfg(not(no_global_oom_handling))]
38483848impl<T: ?Sized, A: Allocator> UniqueArcUninit<T, A> {
3849-/// Allocate a ArcInner with layout suitable to contain `for_value` or a clone of it.
3849+/// Allocates an ArcInner with layout suitable to contain `for_value` or a clone of it.
38503850 fn new(for_value: &T, alloc: A) -> UniqueArcUninit<T, A> {
38513851let layout = Layout::for_value(for_value);
38523852let ptr = unsafe {