Function vesta::assert_exhaustive

pub fn assert_exhaustive<T, const N: usize>(_: &T) where
    T: Match<Range = Exhaustive<N>>, 

Statically assert that the type of the given value is exhaustive for N.

This function can only be called if Self: Match<Range = Exhaustive<N>>. It does nothing when called.

Examples

vesta::assert_exhaustive::<_, 2>(&Some(true));