| // This test originated from #65394. We conservatively assume that `x` is still `LiveDrop` even | |
| // after it has been moved because a mutable reference to it exists at some point in the const body. | |
| // | |
| // We will likely have to change this behavior before we allow `&mut` in a `const`. | |
| const _: Vec<i32> = { | |
| let mut x = Vec::<i32>::new(); //~ ERROR destructors cannot be evaluated at compile-time | |
| let r = &mut x; //~ ERROR mutable references are not allowed in constants | |
| let y = x; | |
| y | |
| }; | |
| fn main() {} |