resolve code review comments

This commit is contained in:
John Arundel 2024-07-08 19:05:35 +01:00
parent 5a9e5e4acf
commit d23df74712
2 changed files with 2 additions and 2 deletions

View File

@ -23,7 +23,7 @@
/// type. Many asynchronous foundation crates provide such a `Mutex` type. /// type. Many asynchronous foundation crates provide such a `Mutex` type.
/// The other solution is to ensure the mutex is unlocked before calling /// The other solution is to ensure the mutex is unlocked before calling
/// `await`, either by introducing a scope or an explicit call to /// `await`, either by introducing a scope or an explicit call to
/// [`Drop::drop`]. /// [`Drop::drop`](https://doc.rust-lang.org/std/ops/trait.Drop.html).
/// ///
/// ### Known problems /// ### Known problems
/// Will report false positive for explicitly dropped guards /// Will report false positive for explicitly dropped guards

View File

@ -219,7 +219,7 @@
/// Dereferencing the resulting pointer may be undefined behavior. /// Dereferencing the resulting pointer may be undefined behavior.
/// ///
/// ### Known problems /// ### Known problems
/// Using [`std::ptr::read_unaligned`] and [`std::ptr::write_unaligned`] or /// Using [`std::ptr::read_unaligned`](https://doc.rust-lang.org/std/ptr/fn.read_unaligned.html) and [`std::ptr::write_unaligned`](https://doc.rust-lang.org/std/ptr/fn.write_unaligned.html) or
/// similar on the resulting pointer is fine. Is over-zealous: casts with /// similar on the resulting pointer is fine. Is over-zealous: casts with
/// manual alignment checks or casts like `u64` -> `u8` -> `u16` can be /// manual alignment checks or casts like `u64` -> `u8` -> `u16` can be
/// fine. Miri is able to do a more in-depth analysis. /// fine. Miri is able to do a more in-depth analysis.