1 files changed, 13 insertions, 0 deletions
diff --git a/tests/ui/consts/const-eval/issue-65394.rs b/tests/ui/consts/const-eval/issue-65394.rs
new file mode 100644
index 000000000..e6639826c
--- /dev/null
+++ b/tests/ui/consts/const-eval/issue-65394.rs
@@ -0,0 +1,13 @@
+// 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 destructor of
+    let r = &mut x; //~ ERROR mutable references are not allowed in constants
+    let y = x;
+    y
+};
+
+fn main() {}