Crate assert_impl[−][src]
Macro for static assert that types implement a trait or not.
Example
Assuming you have the following definitions:
struct C; struct Java; struct JavaScript; struct Python; struct Rust; trait StaticTyped {} impl StaticTyped for C {} impl StaticTyped for Java {} impl StaticTyped for Rust {}
This should build:
assert_impl!(StaticTyped: C, Java, Rust); assert_impl!(!StaticTyped: JavaScript, Python);
But these should fail to build:
ⓘThis example deliberately fails to compile
assert_impl!(StaticTyped: JavaScript);
ⓘThis example deliberately fails to compile
assert_impl!(!StaticTyped: Rust);
Macros
assert_impl |