about summary refs log tree commit diff
path: root/tests/ui/pattern/ref-in-function-parameter-patterns-8860.rs
diff options
context:
space:
mode:
authorTshepang Mbambo <hopsi@tuta.io>2025-08-25 11:29:25 +0200
committerGitHub <noreply@github.com>2025-08-25 11:29:25 +0200
commitd1d1fb3bb1ff6c8ea38293c4362aa4716d13eafa (patch)
treeb92935283dc39332d14862c9227eda4b865a507b /tests/ui/pattern/ref-in-function-parameter-patterns-8860.rs
parent06608bafbc4a85ca4ba3008b9b18b34e320e6eba (diff)
parent721337b92a2ea898a21ea01e420d80e2e33213d2 (diff)
downloadrust-d1d1fb3bb1ff6c8ea38293c4362aa4716d13eafa.tar.gz
rust-d1d1fb3bb1ff6c8ea38293c4362aa4716d13eafa.zip
Merge pull request #2551 from rust-lang/rustc-pull
Rustc pull update
Diffstat (limited to 'tests/ui/pattern/ref-in-function-parameter-patterns-8860.rs')
-rw-r--r--tests/ui/pattern/ref-in-function-parameter-patterns-8860.rs52
1 files changed, 52 insertions, 0 deletions
diff --git a/tests/ui/pattern/ref-in-function-parameter-patterns-8860.rs b/tests/ui/pattern/ref-in-function-parameter-patterns-8860.rs
new file mode 100644
index 00000000000..1a67caf021c
--- /dev/null
+++ b/tests/ui/pattern/ref-in-function-parameter-patterns-8860.rs
@@ -0,0 +1,52 @@
+// https://github.com/rust-lang/rust/issues/8860
+//@ run-pass
+// FIXME(static_mut_refs): this could use an atomic
+#![allow(static_mut_refs)]
+#![allow(dead_code)]
+
+static mut DROP: isize = 0;
+static mut DROP_S: isize = 0;
+static mut DROP_T: isize = 0;
+
+struct S;
+impl Drop for S {
+    fn drop(&mut self) {
+        unsafe {
+            DROP_S += 1;
+            DROP += 1;
+        }
+    }
+}
+fn f(ref _s: S) {}
+
+struct T { i: isize }
+impl Drop for T {
+    fn drop(&mut self) {
+        unsafe {
+            DROP_T += 1;
+            DROP += 1;
+        }
+    }
+}
+fn g(ref _t: T) {}
+
+fn do_test() {
+    let s = S;
+    f(s);
+    unsafe {
+        assert_eq!(1, DROP);
+        assert_eq!(1, DROP_S);
+    }
+    let t = T { i: 1 };
+    g(t);
+    unsafe { assert_eq!(1, DROP_T); }
+}
+
+fn main() {
+    do_test();
+    unsafe {
+        assert_eq!(2, DROP);
+        assert_eq!(1, DROP_S);
+        assert_eq!(1, DROP_T);
+    }
+}