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 https://github.com/rust-lang/rust/pull/63793. 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: https://internals.rust-lang.org/t/crate-capability-lists/8933/2

Last update: Nov 11 2019 at 22:45UTC