ManuallyDropAdditionalFns

vstd::std_specs::manually_drop

Trait ManuallyDropAdditionalFns 

Source 
pub trait ManuallyDropAdditionalFns<T: ?Sized> {
    // Required method
    spec fn view_ref(&self) -> &T;
}

Required Methods§

Source

spec fn view_ref(&self) -> &T

Implementations on Foreign Types§

Source§

impl<T: ?Sized> ManuallyDropAdditionalFns<T> for ManuallyDrop<T>

Source§

uninterp fn view_ref(&self) -> &T

Implementors§