Re: [PATCH 09/19] rust: init: remove unneeded `#[allow(clippy::disallowed_names)]`

From: Trevor Gross
Date: Sun Sep 29 2024 - 00:41:20 EST


On Wed, Sep 4, 2024 at 4:45 PM Miguel Ojeda <ojeda@xxxxxxxxxx> wrote:
>
> These few cases, unlike others in the same file, did not need the `allow`.
>
> Thus clean them up.
>
> Signed-off-by: Miguel Ojeda <ojeda@xxxxxxxxxx>

Reviewed-by: Trevor Gross <tmgross@xxxxxxxxx>