Re: [PATCH 06/19] rust: enable `clippy::unnecessary_safety_doc` lint
From: Alice Ryhl
Date: Thu Sep 05 2024 - 04:12:12 EST
On Wed, Sep 4, 2024 at 10:45 PM Miguel Ojeda <ojeda@xxxxxxxxxx> wrote:
>
> In Rust 1.67.0, Clippy added the `unnecessary_safety_doc` lint [1],
> which is similar to `unnecessary_safety_comment`, but for `# Safety`
> sections, i.e. safety preconditions in the documentation.
>
> This is something that should not happen with our coding guidelines in
> mind. Thus enable the lint to have it machine-checked.
>
> Link: https://rust-lang.github.io/rust-clippy/master/index.html#/unnecessary_safety_doc [1]
> Signed-off-by: Miguel Ojeda <ojeda@xxxxxxxxxx>
Reviewed-by: Alice Ryhl <aliceryhl@xxxxxxxxxx>