blob: ce37da053e371b217091f16e6250f9c7cbc20a1a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
// Check that borrowck ensures that `static mut` items have the expected type.
static FOO: u8 = 42;
static mut BAR: &'static u8 = &FOO;
static mut BAR_ELIDED: &u8 = &FOO;
fn main() {
unsafe {
println!("{} {}", BAR, BAR_ELIDED);
set_bar();
set_bar_elided();
println!("{} {}", BAR, BAR_ELIDED);
}
}
fn set_bar() {
let n = 42;
unsafe {
BAR = &n;
//~^ ERROR does not live long enough
}
}
fn set_bar_elided() {
let n = 42;
unsafe {
BAR_ELIDED = &n;
//~^ ERROR does not live long enough
}
}
|
