about summary refs log tree commit diff
path: root/tests/ui/codegen/overflow-during-mono.rs
blob: 3aafe05ba05373f6ddf21c65500617deb8f2c38d (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
//~ ERROR overflow evaluating the requirement `for<'a> {closure@$DIR/overflow-during-mono.rs:14:41: 14:44}: FnMut(&'a _)`
//@ build-fail
//@ compile-flags: -Zwrite-long-types-to-disk=yes

#![recursion_limit = "32"]

fn quicksort<It: Clone + Iterator<Item = T>, I: IntoIterator<IntoIter = It>, T: Ord>(
    i: I,
) -> Vec<T> {
    let mut i = i.into_iter();

    match i.next() {
        Some(x) => {
            let less = i.clone().filter(|y| y < &x);
            let greater = i.filter(|y| &x <= y);

            let mut v = quicksort(less);
            let u = quicksort(greater);
            v.push(x);
            v.extend(u);
            v
        }
        None => vec![],
    }
}

fn main() {
    println!("{:?}", quicksort([5i32, 1, 6, 3, 6, 1, 9, 0, -1, 6, 8]));
}