Enum Equals 

pub enum Equals<const A: i64, const B: i64> {}

Matches when LHS equals RHS.

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

struct EqualsTest<const A: i64, const B: i64>
where
	Equals<A, B>: Passed;

let works = EqualsTest::<1, 1>; // Success!
let works = EqualsTest::<5, 5>; // Success!

let doesnt_work = EqualsTest::<1, 10>; // Compile error!
let doesnt_work = EqualsTest::<3, 2>; // Compile error!

Implementations

impl<const A: i64, const B: i64> Equals<A, B>

pub const fn simplify() -> bool

Trait Implementations

impl<const A: i64, const B: i64> Conclusion<{ $name::<$($param),*>::simplify() }> for Equals<A, B>