Function extern_spec_T__slice_T_iter_mut 

pub fn extern_spec_T__slice_T_iter_mut<T>(self_: &mut [T]) -> IterMut<'_, T> 

extern spec for slice<T>::iter_mut

This is not a real function: its only use is for documentation.

ghost

ensures

self