4 releases
Uses old Rust 2015
0.1.3 | Aug 10, 2018 |
---|---|
0.1.2 | Aug 10, 2018 |
0.1.1 | Aug 10, 2018 |
0.1.0 | Aug 9, 2018 |
#1280 in Rust patterns
2,061 downloads per month
Used in 21 crates
(14 directly)
5KB
Macro for static assert that types implement a trait or not.
Note: this macro can only be used inside function body due to restriction of Rust.
Example
Assuming you have the following definitions:
struct C;
struct Java;
struct JavaScript;
struct Python;
struct Rust;
trait StaticTyping {}
impl StaticTyping for C {}
impl StaticTyping for Java {}
impl StaticTyping for Rust {}
This should build:
assert_impl!(StaticTyping: C, Java, Rust);
assert_impl!(StaticTyping: C, Java, Rust, );
assert_impl!(!StaticTyping: JavaScript, Python);
assert_impl!(!StaticTyping: JavaScript, Python, );
But this should fail to build:
assert_impl!(StaticTyping: JavaScript);
assert_impl!(!StaticTyping: Rust);
lib.rs
:
Macro for static assert that types implement a trait or not.
Note: this macro can only be used inside function body due to restriction of Rust.
Example
Assuming you have the following definitions:
struct C;
struct Java;
struct JavaScript;
struct Python;
struct Rust;
trait StaticTyping {}
impl StaticTyping for C {}
impl StaticTyping for Java {}
impl StaticTyping for Rust {}
This should build:
# #[macro_use] extern crate assert_impl;
# struct C;
# struct Java;
# struct JavaScript;
# struct Python;
# struct Rust;
# trait StaticTyping {}
# impl StaticTyping for C {}
# impl StaticTyping for Java {}
# impl StaticTyping for Rust {}
assert_impl!(StaticTyping: C, Java, Rust);
assert_impl!(StaticTyping: C, Java, Rust, );
assert_impl!(!StaticTyping: JavaScript, Python);
assert_impl!(!StaticTyping: JavaScript, Python, );
But these should fail to build:
# #[macro_use] extern crate assert_impl;
# struct C;
# struct Java;
# struct JavaScript;
# struct Python;
# struct Rust;
# trait StaticTyping {}
# impl StaticTyping for C {}
# impl StaticTyping for Java {}
# impl StaticTyping for Rust {}
assert_impl!(StaticTyping: JavaScript);
# #[macro_use] extern crate assert_impl;
# struct C;
# struct Java;
# struct JavaScript;
# struct Python;
# struct Rust;
# trait StaticTyping {}
# impl StaticTyping for C {}
# impl StaticTyping for Java {}
# impl StaticTyping for Rust {}
assert_impl!(!StaticTyping: Rust);