rust/tests/ui/borrowck/issue-55492-borrowck-migrate-scans-parents.rs

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

56 lines
1.6 KiB
Rust
Raw Normal View History

2018-10-29 23:25:09 +00:00
// rust-lang/rust#55492: errors detected during MIR-borrowck's
// analysis of a closure body may only be caught when AST-borrowck
// looks at some parent.
// transcribed from borrowck-closures-unique.rs
mod borrowck_closures_unique {
pub fn e(x: &'static mut isize) {
static mut Y: isize = 3;
let mut c1 = |y: &'static mut isize| x = y;
2022-04-01 17:13:25 +00:00
//~^ ERROR is not declared as mutable
2018-10-29 23:25:09 +00:00
unsafe { c1(&mut Y); }
}
}
mod borrowck_closures_unique_grandparent {
pub fn ee(x: &'static mut isize) {
static mut Z: isize = 3;
let mut c1 = |z: &'static mut isize| {
let mut c2 = |y: &'static mut isize| x = y;
2022-04-01 17:13:25 +00:00
//~^ ERROR is not declared as mutable
2018-10-29 23:25:09 +00:00
c2(z);
};
unsafe { c1(&mut Z); }
}
}
// adapted from mutability_errors.rs
mod mutability_errors {
pub fn capture_assign_whole(x: (i32,)) {
|| { x = (1,); };
2022-04-01 17:13:25 +00:00
//~^ ERROR is not declared as mutable
2018-10-29 23:25:09 +00:00
}
pub fn capture_assign_part(x: (i32,)) {
|| { x.0 = 1; };
2022-04-01 17:13:25 +00:00
//~^ ERROR is not declared as mutable
2018-10-29 23:25:09 +00:00
}
pub fn capture_reborrow_whole(x: (i32,)) {
|| { &mut x; };
2022-04-01 17:13:25 +00:00
//~^ ERROR is not declared as mutable
2018-10-29 23:25:09 +00:00
}
pub fn capture_reborrow_part(x: (i32,)) {
|| { &mut x.0; };
2022-04-01 17:13:25 +00:00
//~^ ERROR is not declared as mutable
2018-10-29 23:25:09 +00:00
}
}
fn main() {
static mut X: isize = 2;
unsafe { borrowck_closures_unique::e(&mut X); }
mutability_errors::capture_assign_whole((1000,));
mutability_errors::capture_assign_part((2000,));
mutability_errors::capture_reborrow_whole((3000,));
mutability_errors::capture_reborrow_part((4000,));
}