Trait ExExactSizeIterator 

pub trait ExExactSizeIterator: Iterator {
    type ExternalTraitSpecificationFor: ExactSizeIterator;

    // Required methods
    spec fn exact_len(&self) -> usize;
    exec fn len(&self) -> len : usize;
}

Required Associated Types

type ExternalTraitSpecificationFor: ExactSizeIterator

Required Methods

spec fn exact_len(&self) -> usize

exec fn len(&self) -> len : usize

ensures

self.obeys_prophetic_iter_laws() ==> len == self.exact_len() == self.remaining().len(),

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors