summaryrefslogtreecommitdiff
path: root/tests/ui/specialization/issue-36804.rs
blob: 89350602f3652bc58710e4c2d8387bb01c3c77ad (plain)
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
// check-pass
#![feature(specialization)] //~ WARN the feature `specialization` is incomplete

pub struct Cloned<I>(I);

impl<'a, I, T: 'a> Iterator for Cloned<I>
where
    I: Iterator<Item = &'a T>,
    T: Clone,
{
    type Item = T;

    fn next(&mut self) -> Option<T> {
        unimplemented!()
    }

    default fn count(self) -> usize where Self: Sized {
        self.fold(0, |cnt, _| cnt + 1)
    }
}

impl<'a, I, T: 'a> Iterator for Cloned<I>
where
    I: Iterator<Item = &'a T>,
    T: Copy,
{
    fn count(self) -> usize {
        unimplemented!()
    }
}

fn main() {
    let a = [1,2,3,4];
    Cloned(a.iter()).count();
}