diff --git a/src/test/compile-fail/unique-vec-res.rs b/src/test/compile-fail/unique-vec-res.rs new file mode 100644 index 00000000000..7560de3bec0 --- /dev/null +++ b/src/test/compile-fail/unique-vec-res.rs @@ -0,0 +1,21 @@ +// xfail-test +// expected error: mismatched kinds + +resource r(i: @mutable int) { + *i = *i + 1; +} + +fn f<@T>(i: [T], j: [T]) { + // Shouldn't be able to do this copy of j + let k = i + j; +} + +fn main() { + let i1 = @mutable 0; + let i2 = @mutable 1; + let r1 <- [~r(i1)]; + let r2 <- [~r(i2)]; + f(r1, r2); + log_err *i1; + log_err *i2; +} \ No newline at end of file