Trait FusedIteratorSpec 

pub trait FusedIteratorSpec: FusedIterator + IteratorSpec {
    // Required method
    fn is_fused(&mut self, steps: Seq<Self::Item>, next: Self);
}

Required Methods

fn is_fused(&mut self, steps: Seq<Self::Item>, next: Self)

logic(law)

requires

self.completed()

requires

(^self).produces(steps, next)

ensures

steps == Seq::empty()

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl<I: IteratorSpec> FusedIteratorSpec for Fuse<I>

fn is_fused(&mut self, steps: Seq<Self::Item>, next: Self)

logic(law)

requires

self.completed()

requires

(^self).produces(steps, next)

ensures

steps == Seq::empty()

Implementors