Function extern_spec_T_A_Iterator_IntoIter_T_A_size_hint 

pub fn extern_spec_T_A_Iterator_IntoIter_T_A_size_hint<T, A: Allocator>(
    self_: &IntoIter<T, A>,
) -> (usize, Option<usize>)

extern spec for IntoIter<T, A>::size_hint

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

ensures

self

ensures

result.1 == Some(result.0)