Trait MaybeUninitAdditionalSpecFns Copy item path

pub trait MaybeUninitAdditionalSpecFns<T> {
    // Required methods
    spec fn mem_contents(self) -> MemContents<T>;
    spec fn as_option(self) -> Option<T>;
}

Required Methods§

Implementations on Foreign Types§

{
    match self.mem_contents() {
        MemContents::Init(v) => Some(v),
        MemContents::Uninit => None,
    }
}

Implementors§