Trait partial_const::MayBeConst

pub trait MayBeConst<T>: MayBeConstAT<Type = T> { }

A trait for handling constant and non-constant values in a common way

Example

fn twice<T: partial_const::MayBeConst<usize>>(i: T) -> usize {
    i.value() * 2
}

assert_eq!(twice(1usize), 2usize);
assert_eq!(twice(partial_const::ConstUsize::<1>::new()), 2usize);

Implementors

impl<T: MayBeConstAT> MayBeConst<<T as MayBeConstAT>::Type> for T

Loading content...