1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
use gat_std::iter::Iterator;
use gat_std_proc::gatify;
struct Custom(i32, i32);
impl Custom {
fn new() -> Custom {
Custom(10, 0)
}
}
impl Iterator for Custom {
type Item<'a> = &'a mut i32
where
Self: 'a;
fn next(&mut self) -> Option<Self::Item<'_>> {
if self.0 > 0 {
self.0 -= 1;
Some(&mut self.1)
} else {
None
}
}
}
fn main() {
let iter: Custom = Custom::new();
iter.touch(|val| {
**val += 1;
})
.for_each(|val| println!("{}", *val));
}
#[gatify]
fn _foo() {
for _ in 0..10 {}
for _ in Custom::new() {}
}
#[gatify]
fn _bar<T: core::iter::IntoIterator>(val: T) {
for _ in val {}
}
#[gatify]
fn _baz<T: gat_std::iter::IntoIterator>(val: T) {
for _ in val {}
}