Trait creusot_contracts::std::iter::FromIterator

pub trait FromIterator<A>: FromIterator<A> {
    // Required method
    fn from_iter_post(prod: Seq<A>, res: Self) -> bool;
}

Required Methods

fn from_iter_post(prod: Seq<A>, res: Self) -> bool

logic

Object Safety

This trait is not object safe.

Implementors

impl<T> FromIterator<T> for Vec<T>