1 files changed, 27 insertions, 0 deletions
diff --git a/src/test/ui/mir/issue-76375.rs b/src/test/ui/mir/issue-76375.rs
new file mode 100644
index 000000000..e635caca9
--- /dev/null
+++ b/src/test/ui/mir/issue-76375.rs
@@ -0,0 +1,27 @@
+// Regression test for issue #76375.
+//
+// edition:2018
+// build-pass
+// compile-flags: -Z mir-opt-level=3
+// aux-build:issue_76375_aux.rs
+
+#![crate_type = "lib"]
+
+extern crate issue_76375_aux;
+
+pub async fn g() {
+    issue_76375_aux::copy_prop(true);
+    h().await;
+}
+
+pub async fn u() {
+    let b = [0u8; 32];
+    let mut i = 0;
+    while i != 10 {
+        issue_76375_aux::dest_prop(&b);
+        h().await;
+        i += 1;
+    }
+}
+
+pub async fn h() {}