1 files changed, 16 insertions, 0 deletions
diff --git a/tests/ui/mir/issue-77002.rs b/tests/ui/mir/issue-77002.rs
new file mode 100644
index 00000000000..0c37346eaf8
--- /dev/null
+++ b/tests/ui/mir/issue-77002.rs
@@ -0,0 +1,16 @@
+// compile-flags: -Zmir-opt-level=3 -Copt-level=0
+// run-pass
+
+type M = [i64; 2];
+
+fn f(a: &M) -> M {
+    let mut b: M = M::default();
+    b[0] = a[0] * a[0];
+    b
+}
+
+fn main() {
+    let mut a: M = [1, 1];
+    a = f(&a);
+    assert_eq!(a[0], 1);
+}