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:
    for inner: [T] in v {
        //!^ ERROR found `[const 'a]` (values differ in mutability)
        r += inner;
    }

    ret r;
}

fn main() {}