Fix docs for OnceLock::get_mut_or_init · model-checking/verify-rust-std@0607642 (original) (raw)

Original file line number Diff line number Diff line change
@@ -281,9 +281,7 @@ impl OnceLock {
281 281 /// Gets the mutable reference of the contents of the cell, initializing
282 282 /// it with `f` if the cell was empty.
283 283 ///
284 - /// Many threads may call `get_mut_or_init` concurrently with different
285 - /// initializing functions, but it is guaranteed that only one function
286 - /// will be executed.
284 + /// This method never blocks.
287 285 ///
288 286 /// # Panics
289 287 ///
@@ -373,6 +371,8 @@ impl OnceLock {
373 371 /// it with `f` if the cell was empty. If the cell was empty and `f` failed,
374 372 /// an error is returned.
375 373 ///
374 + /// This method never blocks.
375 + ///
376 376 /// # Panics
377 377 ///
378 378 /// If `f` panics, the panic is propagated to the caller, and