typefun 0.4.0

Emulating various values at compile-time using types
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

pub trait SameType: private::Sealed {}
impl<T> SameType for (T, T) {}

mod private {
    pub trait Sealed {}
    impl<T> Sealed for (T, T) {}
}

pub const fn assert_same_type<T1, T2>()
where
    (T1, T2): SameType,
{
}