Microsoft's c codebase is heavily annotated with custom annotations they check at compile time. It's not as powerful as Rust, but very cool.

https://docs.microsoft.com/en-us/cpp/code-quality/using-sal-...