Lib.rs

› Rust patterns
#assert #static #macro #impl

assert-impl

Macro for static assert types implement a trait or not

by Xidorn Quan

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

#2217 in Rust patterns

Download history 4832/week @ 2023-12-01 3732/week @ 2023-12-08 1691/week @ 2023-12-15 810/week @ 2023-12-22 1633/week @ 2023-12-29 2809/week @ 2024-01-05 1901/week @ 2024-01-12 1329/week @ 2024-01-19 1431/week @ 2024-01-26 1423/week @ 2024-02-02 1185/week @ 2024-02-09 1016/week @ 2024-02-16 1646/week @ 2024-02-23 1576/week @ 2024-03-01 1364/week @ 2024-03-08 1383/week @ 2024-03-15

6,109 downloads per month
Used in 22 crates (15 directly)

MIT license

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:

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:

assert_impl!(StaticTyping: JavaScript);

assert_impl!(!StaticTyping: Rust);

No runtime deps