static_assertions 0.2.3

Compile-time assertions to ensure that invariants are met.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

#![no_std]

#[macro_use]
extern crate static_assertions;

use core::fmt::Debug;

#[cfg(feature = "failure")]
mod failure {
    trait NonObjSafe {
        fn generic<T>();
    }

    assert_obj_safe!(fail; NonObjSafe);
}

assert_obj_safe!(core_types; Debug, Send, Sync);

#[test]
fn test_obj_safety() {
    trait ObjSafe {}

    assert_obj_safe!(ObjSafe);
}