// error-pattern: copying a noncopyable value

resource r(_i: int) { }

fn main() {
    // This can't make sense as it would copy the resources
    let i <- [r(0)];
    let j <- [r(1)];
    let k = i + j;
    log(debug, j);
}