summaryrefslogtreecommitdiff
path: root/plugins
diff options
context:
space:
mode:
authorMason Reed <mason@vector35.com>2024-12-13 17:45:22 -0500
committerMason Reed <mason@vector35.com>2024-12-13 17:45:38 -0500
commit53b587d63833d43c46a228f1f58517d30f149709 (patch)
tree25650f20ad826267f00e6e1a8aea8b41009c4027 /plugins
parent095f86d8ed42cb71fc8fa3c0bd6c572daf824cbc (diff)
WARP: Misc clippy lint
Add safety doc comment to explain why this is allowed
Diffstat (limited to 'plugins')
-rw-r--r--plugins/warp/src/cache.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/warp/src/cache.rs b/plugins/warp/src/cache.rs
index 652ddc39..f39bceb2 100644
--- a/plugins/warp/src/cache.rs
+++ b/plugins/warp/src/cache.rs
@@ -26,6 +26,8 @@ pub static TYPE_REF_CACHE: OnceLock<DashMap<ViewID, TypeRefCache>> = OnceLock::n
pub fn register_cache_destructor() {
pub static mut CACHE_DESTRUCTOR: CacheDestructor = CacheDestructor;
+ #[allow(static_mut_refs)]
+ // SAFETY: This can be done as the backing data is an opaque ZST.
unsafe { CACHE_DESTRUCTOR.register() };
}