1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
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:
```rust
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:
```rust
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:
```rust
assert_impl!(StaticTyping: JavaScript);
assert_impl!(!StaticTyping: Rust);
```
|
