This is what tag-std wants to solve. We want a safety property mechanism that is standardized on writing safety documentation and propeties are auto checked.
I'm writing safety-tool and gathering some ideas, and other team members are studying on Annotating and Auditing the Safety Properties of Unsafe Rust.
We're also extending the efforts to Rust for Linux and Asterinas OS.
I'm also on the way to propose a Pre-RFC on IRLO soon.
Ideas and feedbacks are welcome!
P.S. The syntax is inspired by this scottmcm's comment.
Update: Pre-RFC is here.