1 files changed, 66 insertions, 0 deletions
diff --git a/tests/evil_rwlock.rs b/tests/evil_rwlock.rs
new file mode 100644
index 0000000..b4fbc52
--- /dev/null
+++ b/tests/evil_rwlock.rs
@@ -0,0 +1,66 @@
+use std::sync::Arc;
+
+use happylock::collection::BoxedLockCollection;
+use happylock::rwlock::RwLock;
+use happylock::ThreadKey;
+use lock_api::{GuardNoSend, RawRwLock};
+
+struct EvilRwLock {
+	inner: parking_lot::RawRwLock,
+}
+
+unsafe impl RawRwLock for EvilRwLock {
+	#[allow(clippy::declare_interior_mutable_const)]
+	const INIT: Self = Self {
+		inner: parking_lot::RawRwLock::INIT,
+	};
+
+	type GuardMarker = GuardNoSend;
+
+	fn lock_shared(&self) {
+		panic!("mwahahahaha");
+	}
+
+	fn try_lock_shared(&self) -> bool {
+		self.inner.try_lock_shared()
+	}
+
+	unsafe fn unlock_shared(&self) {
+		panic!("mwahahahaha");
+	}
+
+	fn lock_exclusive(&self) {
+		panic!("mwahahahaha");
+	}
+
+	fn try_lock_exclusive(&self) -> bool {
+		self.inner.try_lock_exclusive()
+	}
+
+	unsafe fn unlock_exclusive(&self) {
+		panic!("mwahahahaha");
+	}
+}
+
+#[test]
+fn boxed_rwlocks() {
+	let mut key = ThreadKey::get().unwrap();
+	let good_mutex: Arc<RwLock<i32, parking_lot::RawRwLock>> = Arc::new(RwLock::new(5));
+	let evil_mutex: Arc<RwLock<i32, EvilRwLock>> = Arc::new(RwLock::new(7));
+	let useless_mutex: Arc<RwLock<i32, parking_lot::RawRwLock>> = Arc::new(RwLock::new(10));
+	let c_good = Arc::clone(&good_mutex);
+	let c_evil = Arc::clone(&evil_mutex);
+	let c_useless = Arc::clone(&useless_mutex);
+
+	let r = std::thread::spawn(move || {
+		let mut key = ThreadKey::get().unwrap();
+		let collection = BoxedLockCollection::try_new((&*c_good, &*c_evil, &*c_useless)).unwrap();
+		collection.lock(&mut key);
+	})
+	.join();
+
+	assert!(r.is_err());
+	assert!(good_mutex.try_write(&mut key).is_some());
+	assert!(evil_mutex.try_write(&mut key).is_none());
+	assert!(useless_mutex.try_write(&mut key).is_some());
+}