通常可以优化单个函数体中的冗余检查。因此，您只需在调用trailing_zeros()之前将数字转换为NonZeroU64，并依靠编译器来优化边界检查。

use std::num::NonZeroU64;

pub fn g(n: NonZeroU64) -> u32 {
    n.trailing_zeros()
}

pub fn other_fun(n: u64) -> u32 {
    if n != 0 {
        println!("Do something with non-zero!");
        let n = NonZeroU64::new(n).unwrap();
        g(n)
    } else {
        42
    }
}

在上面的代码中，if n != 0确保在块中n不能为零，并且编译器足够聪明地删除了unwrap调用，使NonZeroU64::new(n).unwrap()成为一个零成本操作。

core::intrinsics::assume
通知优化程序某个条件始终为真。如果条件为假，则未定义行为。
不会为此内在函数生成任何代码，但优化程序将尝试在两次传递之间保留它（及其条件），这可能会干扰周围代码得优化并降低性能.如果优化程序可以自己发现不变变量，或者它不启用任何重要得优化，则不应使用它.
这个内建函数没有稳定的Map。