The full proposal document is in our tag-std repository. It's too long to read in this post, considering there are more conversations going on. We are experimenting this feature on verify-rust-std, Rust for Linux, and Asterinas OS. Any idea and feedback is welcome! ❤ Summary This RFC proposes a DSL (domain-specific language)-based mechanism for specifying safety properties, aiming to standardize how safety descriptions are written in API documentation. On the one hand, it seeks to...
