From a676afafa5d7d49451bde58fb385afef97cc50ae Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 28 Feb 2024 07:41:50 +0100
Subject: [PATCH] remove a wrong bitwise negation

---
 src/tools/miri/src/shims/tls.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/miri/src/shims/tls.rs b/src/tools/miri/src/shims/tls.rs
index 84c1feb88e9..7f929d9a91e 100644
--- a/src/tools/miri/src/shims/tls.rs
+++ b/src/tools/miri/src/shims/tls.rs
@@ -354,7 +354,7 @@ trait EvalContextPrivExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
             state.last_key = Some(key);
             trace!("Running TLS dtor {:?} on {:?} at {:?}", instance, ptr, active_thread);
             assert!(
-                !ptr.to_target_usize(this).unwrap() != 0,
+                ptr.to_target_usize(this).unwrap() != 0,
                 "data can't be NULL when dtor is called!"
             );