Stream: wg-secure-code

Topic: make tidy enforce "SAFETY" comments?

RalfJ (Sep 18 2019 at 09:09, on Zulip):

@Shnatsel and anyone else from safety-dance: your input would be appreciated in In particular, it would be interesting how useful you think it would be to mandate a comment on every unsafe block explaining its safety, even if >90% of those comments turn out to be "we just checked the thing this operation requires".

Tony Arcieri (Sep 18 2019 at 16:27, on Zulip):

@RalfJ nice! Kind of reminds me of my proposal to tie each unsafe block to a cargo feature:

Last update: Apr 04 2020 at 04:05UTC