Macro bebop::const_assert_impl

source ·

macro_rules! const_assert_impl {
    ($val:ident: $tr:path) => { ... };
    ($val:ident: $tr:path, $($rest:path),+) => { ... };
    ($ty:ty: $tr:path) => { ... };
    ($ty:ty: $tr:path, $($rest:path),+) => { ... };
    ({$val:expr}: $($tr:path),+) => { ... };
}

Expand description

Assert that a type or value implements a given list of traits at compile time.