Function extern_spec_T_A_IntoIterator__ref_Vec_T_A_into_iter 

pub fn extern_spec_T_A_IntoIterator__ref_Vec_T_A_into_iter<'a, T, A: Allocator>(
    self_: &'a Vec<T, A>,
) -> Iter<'a, T> 

extern spec for <&Vec<T, A> as IntoIterator>::into_iter

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

ghost

ensures

self