#const-generics #predicates #future #compile #greater #generic-predicates #taste

macro generic-predicates-macro

A taste of what const generics could enable in the future

1 unstable release

0.1.0 Jun 24, 2022

#8 in #predicates

22 downloads per month
Used in generic-predicates

MIT license

18KB
463 lines

A taste of what const generics could enable in the future

#![feature(generic_const_exprs)]

use generic_predicates::generic_predicates;

generic_predicates! {
    pub fn foo<const N: usize>()
    where
        (N > 23, "`N` must be greater than 23")
    {

    }
}

fn main() {
    // This compiles.
    foo::<24>();

    // This doesn't.
    foo::<23>();
}

Dependencies

~1.5MB
~34K SLoC