diff --git a/src/test/compile-fail/implicit-copy-1.rs b/src/test/compile-fail/implicit-copy-1.rs deleted file mode 100644 index ed514a8fe1a..00000000000 --- a/src/test/compile-fail/implicit-copy-1.rs +++ /dev/null @@ -1,21 +0,0 @@ -// error-pattern: cannot copy pinned type r - -resource r(i: @mutable int) { - *i = *i + 1; -} - -fn movearg(i: r) { - // Implicit copy to mutate reference i - let j <- i; -} - -fn main() { - let i = @mutable 0; - { - let j <- r(i); - movearg(j); - } - log_err *i; - // nooooooo. destructor ran twice - assert *i == 2; -} \ No newline at end of file diff --git a/src/test/compile-fail/implicit-copy-2.rs b/src/test/compile-fail/implicit-copy-2.rs deleted file mode 100644 index c56655ba322..00000000000 --- a/src/test/compile-fail/implicit-copy-2.rs +++ /dev/null @@ -1,21 +0,0 @@ -// error-pattern: cannot copy pinned type 'a - -resource r(i: @mutable int) { - *i = *i + 1; -} - -fn movearg(i: T) { - // Implicit copy to mutate reference i - let j <- i; -} - -fn main() { - let i = @mutable 0; - { - let j <- r(i); - movearg(j); - } - log_err *i; - // nooooooo. destructor ran twice - assert *i == 2; -} \ No newline at end of file diff --git a/src/test/run-fail/bug-811.rs b/src/test/run-fail/bug-811.rs index c9ebbfe5d08..95041c72ca8 100644 --- a/src/test/run-fail/bug-811.rs +++ b/src/test/run-fail/bug-811.rs @@ -1,5 +1,5 @@ // error-pattern:quux -fn test00_start(ch: chan_t, message: int) { send(ch, message); } +fn test00_start(ch: chan_t, message: int) { send(ch, copy message); } type task_id = int; type port_id = int;