Supress clippy error

cbeuw · cbeuw · commit 6dea99ec712b · 2022-08-27T15:24:59.000+01:00
diff --git 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,

Original file line number	Diff line number	Diff line change
`@@ -306,6 +306,7 @@ impl<'mir, 'tcx: 'mir> StoreBuffer {`
`306`	`306`	`Ok(())`
`307`	`307`	`}`
`308`	`308`
	`309`	`+ #[allow(clippy::if_same_then_else, clippy::needless_bool)]`
`309`	`310`	`/// Selects a valid store element in the buffer.`
`310`	`311`	`fn fetch_store<R: rand::Rng + ?Sized>(`
`311`	`312`	`&self,`