generic-predicates 0.1.0

A taste of what const generics could enable in the future
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
25
26
27
28
29
30
31
32
33

//! A taste of what const generics could enable in the future.
//! 
//! ```rust,no_run
//! #![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>();
//! }
//! ```

pub use generic_predicates_macro::generic_predicates;

pub mod __private {
    pub const fn assertion(predicate: bool, msg: &'static str) -> usize {
        assert!(predicate, "{}", msg);
        0
    }
}