Re: [RFC PATCH 1/5] doc: rust: create safety standard

From: Miguel Ojeda
Date: Thu Aug 08 2024 - 09:08:46 EST


On Thu, Aug 8, 2024 at 3:02 PM Daniel Almeida
<daniel.almeida@xxxxxxxxxxxxx> wrote:
>
> Yeah, I wasn’t referring to formal verification, just a lint that will complain when
> it finds an unsafe block that has no safety comments at all. The clippy lints you
> listed should work fine and, IIUC, Miguel already has a patch to enable (some of) them,
> so I don’t think any further action is needed.

+1, sending a series about that soon.

Cheers,
Miguel