departed

Departed 是一个为 Rust 程序员提供的库，利用“已离职证明的鬼魂”技术提供依赖类型的一些好处。具体来说，它允许库作者编写具有静态检查预条件和不变性的 API。此外，它还允许 API 的用户证明他们正确地使用了 API。

对于这个 crate 所基于的技术，所有的功劳都归功于 Matt Noonan。