diff options
Diffstat (limited to 'src/test/ui/borrowck/borrowck-bad-nested-calls-move.rs')
-rw-r--r-- | src/test/ui/borrowck/borrowck-bad-nested-calls-move.rs | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/src/test/ui/borrowck/borrowck-bad-nested-calls-move.rs b/src/test/ui/borrowck/borrowck-bad-nested-calls-move.rs deleted file mode 100644 index b2afb6391..000000000 --- a/src/test/ui/borrowck/borrowck-bad-nested-calls-move.rs +++ /dev/null @@ -1,35 +0,0 @@ -// Test that we detect nested calls that could free pointers evaluated -// for earlier arguments. - - - -fn rewrite(v: &mut Box<usize>) -> usize { - *v = Box::new(22); - **v -} - -fn add(v: &usize, w: Box<usize>) -> usize { - *v + *w -} - -fn implicit() { - let mut a: Box<_> = Box::new(1); - - // Note the danger here: - // - // the pointer for the first argument has already been - // evaluated, but it gets moved when evaluating the second - // argument! - add( - &*a, - a); //~ ERROR cannot move -} - -fn explicit() { - let mut a: Box<_> = Box::new(1); - add( - &*a, - a); //~ ERROR cannot move -} - -fn main() {} |