扩展了 num_traits::identities 的特性以使用关联常量。

示例

#![feature(const_fn)]

use const_identities::ConstZero;

pub struct Newtype<T>(pub T);

impl<T: ConstZero> Newtype<T> {
    pub const fn zero() -> Self {
        Newtype(T::ZERO)
    }
}

assert_eq!(Newtype::<i32>::zero().0, 0);