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", so this trait is not object safe.
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@ }