Crate assert_impl

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:

assert_impl!(StaticTyped: JavaScript);

assert_impl!(!StaticTyped: Rust);

Macros

assert_impl