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

}

2532253225332533

impl<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")]

35473547

impl<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")]

35663566

impl 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")]

35853585

impl 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")]

36233623

impl<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

36543654

B: ToOwned + ?Sized,

36553655

Arc<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")]

38123812

impl<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))]

38483848

impl<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> {

38513851

let layout = Layout::for_value(for_value);

38523852

let ptr = unsafe {