Trait creusot_contracts::std::iter::FusedIterator

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

Required Methods§

source

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

law

requires 

self.completed()

requires 

(^self).produces(steps, next)

ensures 

steps == Seq::EMPTY && ^self == next

Object Safety§

This trait is not object safe.

Implementors§