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
