modcreate;moddir;modopen;modsource;useo3::base::num::bounded;usecrate::Cpus;/// Retains the native mask index already admitted by the CPU iterator.
/// # Safety
/// `index` was yielded by this backend's range bounded by `Cpus::LIMIT`.
pub(crate)unsafefncpu(index:u16)->bounded::U32<0, {Cpus::LIMIT as u32-1 }>{// SAFETY: the caller retains the iterator's exact native mask bound.
unsafe{bounded::raw::Proof::assume(u32::from(index))}.retain()}