Oh, and apparently there is something vaguely along these lines already:

https://github.com/rust-secure-code/safety-dance/