Supress clippy error

2022-08-27 08:19:33 +01:00 · 2022-08-27 08:19:33 +01:00 · 6dea99ec71
commit 6dea99ec71
parent 0f9e009987
1 changed files with 1 additions and 0 deletions
--- a/src/concurrency/weak_memory.rs
+++ b/src/concurrency/weak_memory.rs
@ -306,6 +306,7 @@ impl<'mir, 'tcx: 'mir> StoreBuffer {
        Ok(())
    }

+    #[allow(clippy::if_same_then_else, clippy::needless_bool)]
    /// Selects a valid store element in the buffer.
    fn fetch_store<R: rand::Rng + ?Sized>(
        &self,