We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e5022bf commit 7c025a8Copy full SHA for 7c025a8
tests/pass/concurrency/mutex_leak.rs
@@ -0,0 +1,9 @@
1
+// compile-flags: -Zmiri-ignore-leaks
2
+use std::mem;
3
+use std::sync::Mutex;
4
+
5
+fn main() {
6
+ // Test for https://github.com/rust-lang/rust/issues/85434
7
+ let m = Mutex::new(5i32);
8
+ mem::forget(m.lock());
9
+}
0 commit comments