contractscrate的清晰占位版本
contracts
由 Paul Khuong、Samy Al Bahra、backtrace-labs共同拥有。
#34 在 #invariants
565 每月下载次数在 slitter 中使用
4KB
合同宏对开发很有用。然而,对于性能敏感的代码,重要的是显然不会因注释而产生任何开销。
本crate中的占位宏有助于实现这一点:代码可以在它们和真实的contracts crate之间根据功能进行切换,而合同代码甚至不必再构建,因此任何检查逻辑的辅助工具也可以条件化。
lib.rs
contracts crate宏的显然无操作版本。
有关真实宏的语义,请参阅该crate。