Enum Positive 

pub enum Positive<const T: i8> {}

Matches when number is above 0.

#![feature(generic_const_exprs)]
use checks::{ Passed, i8::* };

struct PositiveTest<const T: i8>
where
	Positive<T>: Passed;

let works = PositiveTest::<1>; // Success!
let works = PositiveTest::<50>; // Success!
let works = PositiveTest::<3>; // Success!

let doesnt_work = PositiveTest::<0>; // Compile error!
let doesnt_work = PositiveTest::<- 55>; // Compile error!
let doesnt_work = PositiveTest::<- 3>; // Compile error!

Implementations

impl<const T: i8> Positive<T>

pub const fn simplify() -> bool

Trait Implementations

impl<const T: i8> Conclusion<{ $name::<$($param),*>::simplify() }> for Positive<T>