flux_core/iter/traits/
collect.rs

1use flux_attrs::*;
2
3#[extern_spec]
4#[assoc(fn with_size(self: Self, n:int) -> bool { true })] // default: don't know!
5trait FromIterator<A> {}
6
7#[extern_spec(core::iter)]
8trait IntoIterator {
9    #[spec(fn(self: Self) -> Self::IntoIter)]
10    fn into_iter(self) -> Self::IntoIter
11    where
12        Self: Sized;
13}
14
15#[extern_spec(core::ops)]
16impl<I: Iterator> IntoIterator for I {
17    #[spec(fn(self: I[@s]) -> I[s])]
18    fn into_iter(self) -> I;
19}