Function extern_spec_T_IterMut_T_as_slice 

pub fn extern_spec_T_IterMut_T_as_slice<'a, T>(
    self_: &IterMut<'a, T>,
) -> &'a [T]

extern spec for IterMut<'a, T>::as_slice

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

ensures

result@ == self@@