src/test/compile-fail/vec-concat-bug.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

fn concat<T: Copy>(v: ~[const ~[const T]]) -> ~[T] {
    let mut r = ~[];

    // Earlier versions of our type checker accepted this:
    vec::iter(v, |&&inner: ~[T]| {
        //~^ ERROR values differ in mutability
        r += inner;
    });

    return r;
}

fn main() {}