Re: [PATCH 13/19] rust: rbtree: fix `SAFETY` comments that should be `# Safety` sections

From: Trevor Gross
Date: Sun Sep 29 2024 - 00:52:18 EST


On Wed, Sep 4, 2024 at 4:45 PM Miguel Ojeda <ojeda@xxxxxxxxxx> wrote:
>
> The tag `SAFETY` is used for safety comments, i.e. `// SAFETY`, while a
> `Safety` section is used for safety preconditions in code documentation,
> i.e. `/// # Safety`.
>
> Fix the three instances recently added in `rbtree` that Clippy would
> have normally caught in a public item, so that we can enable checking
> of private items in the next commit.
>
> Fixes: 98c14e40e07a ("rust: rbtree: add cursor")
> Signed-off-by: Miguel Ojeda <ojeda@xxxxxxxxxx>

Reviewed-by: Trevor Gross <tmgross@xxxxxxxxx>