The main problems with existing unsafe lints:
#![forbid(unsafe_code)]is not transitive- As you pointed more or less out in the other recent rust-internals thread on this same subject,
#[no_mangle]can be used forunsafepurposes without an explicitunsafekeyword.
Unless there are additional unsafe lints I'm unaware of in the core language, I feel the existing mechanisms aren't suitable for and are somewhat orthogonal to the proposed goals in this thread.