const_guards 0.1.3

An attribute macro for compile time constraints on const generics
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

#![allow(incomplete_features)]
#![feature(generic_const_exprs)]
extern crate const_guards;
use const_guards::guard;

fn main() {
    let _ = A::<(), 1>([(); 1]);
    let _ = B::<(), 1> { b: [(); 1] };
}

#[guard(N > 0)]
pub struct A<T, const N: usize>([T; N])
where
    T: Eq;

#[guard(N > 0)]
pub struct B<T, const N: usize>
where
    T: Eq,
{
    b: [T; N],
}