assert_bound

简单的 Rust 类型断言库。

示例

use assert_bound::assert_bound;

// assert that `()` implements Debug + Ord + PartialEq<()>
assert_bound!(() => std::fmt::Debug + Ord + PartialEq<()>);

// f32/f64 doesn't implement `Eq`, so rustc will 
// fail to compile next line if it you uncomment it
// assert_bound!(0.1 => Eq);

lib.rs:

当处理迭代器/未来或其他高泛型类型时，有时需要断言某些表达式的类型实现了某些特性，甚至将其转换为 implTrait。

此 crate 提供了两种目标的宏 — assert_bound 和 as_opaque。