From 5945667b99bd5576161974daa56f845dd05b0753 Mon Sep 17 00:00:00 2001 From: Marijn Haverbeke Date: Thu, 3 Nov 2011 11:14:48 +0100 Subject: [PATCH] Update some more tests for 1a68a9882 --- src/test/compile-fail/implicit-copy-1.rs | 21 --------------------- src/test/compile-fail/implicit-copy-2.rs | 21 --------------------- src/test/run-fail/bug-811.rs | 2 +- 3 files changed, 1 insertion(+), 43 deletions(-) delete mode 100644 src/test/compile-fail/implicit-copy-1.rs delete mode 100644 src/test/compile-fail/implicit-copy-2.rs 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;