pub trait FromIteratorSpecImpl<A>: Sized + FromIterator<A> {
// Required method
exec fn from_iter_ensures(remaining: Seq<A>, s: Self) -> bool;
}Required Methods§
Sourceexec fn from_iter_ensures(remaining: Seq<A>, s: Self) -> bool
exec fn from_iter_ensures(remaining: Seq<A>, s: Self) -> bool
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".
Implementations on Foreign Types§
Source§impl<T> FromIteratorSpecImpl<T> for Vec<T>
impl<T> FromIteratorSpecImpl<T> for Vec<T>
Source§open spec fn from_iter_ensures(remaining: Seq<T>, s: Self) -> bool
open spec fn from_iter_ensures(remaining: Seq<T>, s: Self) -> bool
{ remaining == s@ }