about summary refs log tree commit diff
path: root/tests/ui/span/send-is-not-static-std-sync-2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/span/send-is-not-static-std-sync-2.rs')
-rw-r--r--tests/ui/span/send-is-not-static-std-sync-2.rs39
1 files changed, 39 insertions, 0 deletions
diff --git a/tests/ui/span/send-is-not-static-std-sync-2.rs b/tests/ui/span/send-is-not-static-std-sync-2.rs
new file mode 100644
index 00000000000..38746d4cbbc
--- /dev/null
+++ b/tests/ui/span/send-is-not-static-std-sync-2.rs
@@ -0,0 +1,39 @@
+// basic tests to see that certain "obvious" errors are caught by
+// these types no longer requiring `'static` (RFC 458)
+
+#![allow(dead_code)]
+
+use std::sync::{Mutex, RwLock, mpsc};
+
+fn mutex() {
+    let lock = {
+        let x = 1;
+        Mutex::new(&x)
+    };
+    //~^^ ERROR `x` does not live long enough
+
+    let _dangling = *lock.lock().unwrap();
+}
+
+fn rwlock() {
+    let lock = {
+        let x = 1;
+        RwLock::new(&x)
+    };
+    //~^^ ERROR `x` does not live long enough
+    let _dangling = *lock.read().unwrap();
+}
+
+fn channel() {
+    let (_tx, rx) = {
+        let x = 1;
+        let (tx, rx) = mpsc::channel();
+        let _ = tx.send(&x);
+        (tx, rx)
+    };
+    //~^^^ ERROR `x` does not live long enough
+
+    let _dangling = rx.recv();
+}
+
+fn main() {}