diff --git a/clippy_lints/src/types.rs b/clippy_lints/src/types.rs index b674b3888abc..7b1d832f249e 100644 --- a/clippy_lints/src/types.rs +++ b/clippy_lints/src/types.rs @@ -789,7 +789,8 @@ declare_clippy_lint! { /// **Why is this bad?** Dereferencing the resulting pointer may be undefined /// behavior. /// - /// **Known problems:** None. + /// **Known problems:** Using `std::ptr::read_unaligned` and `std::ptr::write_unaligned` or similar + /// on the resulting pointer is fine. /// /// **Example:** /// ```rust