pub fn extern_spec_T_Option_T_as_mut_slice<T>(self_: &mut Option<T>) -> &mut [T]Expand description
extern spec for Option<T>::as_mut_slice
This is not a real function: its only use is for documentation.
ghost
ensures
selfpub fn extern_spec_T_Option_T_as_mut_slice<T>(self_: &mut Option<T>) -> &mut [T]extern spec for Option<T>::as_mut_slice
This is not a real function: its only use is for documentation.
ghost
ensures
self