diff options
Diffstat (limited to 'src/test/compile-fail/liveness-use-after-send.rs')
| -rw-r--r-- | src/test/compile-fail/liveness-use-after-send.rs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/test/compile-fail/liveness-use-after-send.rs b/src/test/compile-fail/liveness-use-after-send.rs new file mode 100644 index 00000000000..63e42bee3c9 --- /dev/null +++ b/src/test/compile-fail/liveness-use-after-send.rs @@ -0,0 +1,16 @@ +fn send<T: send>(ch: _chan<T>, -data: T) { + log(debug, ch); + log(debug, data); + fail; +} + +enum _chan<T> = int; + +// Tests that "log(debug, message);" is flagged as using +// message after the send deinitializes it +fn test00_start(ch: _chan<int>, message: int, count: int) { + send(ch, message); //! NOTE move of variable occurred here + log(debug, message); //! ERROR use of moved variable: `message` +} + +fn main() { fail; } |
