blob: e739790b56662b1b7188c54e945f0e82294c7f5c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
use std::cell::Cell;
// const qualification is not smart enough to know about fields and always assumes that there might
// be other fields that caused the qualification
const FOO: &Option<Cell<usize>> = {
let mut a = (Some(Cell::new(0)),);
a.0 = None; // sets `qualif(a)` to `qualif(a) | qualif(None)`
&{a.0} //~ ERROR interior mutable shared borrows of temporaries
};
fn main() {}
|
