Function extern_spec_T_Iter_T_as_slice 

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

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

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

ensures

result@ == self@@