blob: 95c787488c08ee3c745906a0d40c55ab1eacb28b (
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
31
32
33
|
// Check that borrowck ensures that `static mut` items have the expected type.
// FIXME(static_mut_refs): Do not allow `static_mut_refs` lint
#![allow(static_mut_refs)]
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
}
}
|
