rust/src/test/compile-fail/borrowck-call-is-borrow-issue-12224.rs

69 lines
1.6 KiB
Rust
Raw Normal View History

// Copyright 2014 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// Ensure that invoking a closure counts as a unique immutable borrow
2015-01-03 09:45:00 -06:00
#![feature(unboxed_closures)]
2015-01-07 20:53:58 -06:00
#![feature(box_syntax)]
2015-01-03 09:45:00 -06:00
type Fn<'a> = Box<FnMut() + 'a>;
struct Test<'a> {
2015-01-03 09:45:00 -06:00
f: Box<FnMut() + 'a>
}
2015-01-03 09:45:00 -06:00
fn call<F>(mut f: F) where F: FnMut(Fn) {
f(box || {
//~^ ERROR: cannot borrow `f` as mutable more than once
f(box || {})
});
}
fn test1() {
2015-01-03 09:45:00 -06:00
call(|mut a| {
a.call_mut(());
});
}
2015-01-03 09:45:00 -06:00
fn test2<F>(f: &F) where F: FnMut() {
(*f)(); //~ ERROR: cannot borrow immutable borrowed content `*f` as mutable
}
2015-01-03 09:45:00 -06:00
fn test3<F>(f: &mut F) where F: FnMut() {
(*f)();
}
fn test4(f: &Test) {
f.f.call_mut(()) //~ ERROR: cannot borrow immutable `Box` content `*f.f` as mutable
}
fn test5(f: &mut Test) {
2015-01-03 09:45:00 -06:00
f.f.call_mut(())
}
fn test6() {
2015-01-03 09:45:00 -06:00
let mut f = |&mut:| {};
(|&mut:| {
f();
})();
}
fn test7() {
fn foo<F>(_: F) where F: FnMut(Box<FnMut(isize)>, isize) {}
let mut f = |&mut: g: Box<FnMut(isize)>, b: isize| {};
f(box |a| {
foo(f);
//~^ ERROR cannot move `f` into closure because it is borrowed
//~| ERROR cannot move out of captured outer variable in an `FnMut` closure
}, 3);
}
fn main() {}