Enum Odd 

pub enum Odd<const T: u64> {}

Matches when number is odd.

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

struct OddTest<const T: u64>
where
	Odd<T>: Passed;

let works = OddTest::<1>; // Success!
let works = OddTest::<3>; // Success!
let works = OddTest::<5>; // Success!

let doesnt_work = OddTest::<2>; // Compile error!
let doesnt_work = OddTest::<4>; // Compile error!
let doesnt_work = OddTest::<6>; // Compile error!

Implementations

impl<const T: u64> Odd<T>

pub const fn simplify() -> bool

Trait Implementations

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