Trait MaybeUninitAdditionalSpecFns 

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

Required Methods

spec fn mem_contents(self) -> MemContents<T>

spec fn as_option(self) -> Option<T>

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<T> MaybeUninitAdditionalSpecFns<T> for MaybeUninit<T>

uninterp spec fn mem_contents(self) -> MemContents<T>

open spec fn as_option(self) -> Option<T>

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

Implementors