Struct NonZeroUsize Copy item path

n != 0,

(#[trigger] Self::nonzero_usize_from_usize(n)).view() == n,

Self::nonzero_usize_from_usize(#[trigger] self.view()) == self,

match ret {
    Some(nz) => nz.view() == n,
    None => n == 0,
},

ret.view() == n,

ret == Self::nonzero_usize_from_usize(n),

ret == self.view(),

ret.view() == self.view() | rhs,

{ true }

{ true }

{ Self::nonzero_usize_from_usize(self.view() | rhs) }

ret.view() == self.view(),

{ true }

{ vstd::std_specs::cmp::PartialOrdSpec::partial_cmp_spec(self, other)->0 }

{ true }

{ self.view() == other.view() }

{ true }

{
    if self.view() < other.view() {
        Some(Ordering::Less)
    } else if self.view() > other.view() {
        Some(Ordering::Greater)
    } else {
        Some(Ordering::Equal)
    }
}