src/test/run-pass/ivec-add.rs


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

fn double<T: Copy>(a: T) -> ~[T] { return ~[a] + ~[a]; }

fn double_int(a: int) -> ~[int] { return ~[a] + ~[a]; }

fn main() {
    let mut d = double(1);
    assert (d[0] == 1);
    assert (d[1] == 1);

    d = double_int(1);
    assert (d[0] == 1);
    assert (d[1] == 1);
}