From 57ac3179422248ac4f06210e4120c40f86e50dce Mon Sep 17 00:00:00 2001
From: chordtoll <git@chordtoll.com>
Date: Tue, 28 Dec 2021 21:50:00 -0800
Subject: [PATCH] Added regression test for issue 92015

---
 src/test/ui/borrowck/issue-92015.rs     |  7 +++++++
 src/test/ui/borrowck/issue-92015.stderr | 11 +++++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 src/test/ui/borrowck/issue-92015.rs
 create mode 100644 src/test/ui/borrowck/issue-92015.stderr

diff --git a/src/test/ui/borrowck/issue-92015.rs b/src/test/ui/borrowck/issue-92015.rs
new file mode 100644
index 0000000000000..16d651717ff2c
--- /dev/null
+++ b/src/test/ui/borrowck/issue-92015.rs
@@ -0,0 +1,7 @@
+// Regression test for #92105.
+// ICE when mutating immutable reference from last statement of a block.
+
+fn main() {
+    let foo = Some(&0).unwrap();
+    *foo = 1; //~ ERROR cannot assign
+}
diff --git a/src/test/ui/borrowck/issue-92015.stderr b/src/test/ui/borrowck/issue-92015.stderr
new file mode 100644
index 0000000000000..32a65d3b5bb0f
--- /dev/null
+++ b/src/test/ui/borrowck/issue-92015.stderr
@@ -0,0 +1,11 @@
+error[E0594]: cannot assign to `*foo`, which is behind a `&` reference
+  --> $DIR/issue-92015.rs:6:5
+   |
+LL |     let foo = Some(&0).unwrap();
+   |         --- help: consider changing this to be a mutable reference: `&mut i32`
+LL |     *foo = 1;
+   |     ^^^^^^^^ `foo` is a `&` reference, so the data it refers to cannot be written
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0594`.