From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sat, 6 Jul 2024 21:18:35 +0000 (+0200)
Subject: fix clippy again
X-Git-Tag: v0.10.0~127^2~7
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=496e4e9f56f1f8a956f12126fb8019e4c51a1077;p=scryer-prolog.git

fix clippy again
---

diff --git a/src/machine/streams.rs b/src/machine/streams.rs
index ad09e858..61191205 100644
--- a/src/machine/streams.rs
+++ b/src/machine/streams.rs
@@ -323,6 +323,9 @@ impl Write for HttpWriteStream {
 
 #[cfg(feature = "http")]
 impl HttpWriteStream {
+    // TODO why is this suddenly dead code and should it be used somewhere?
+    // Should this be impl Drop for HttpWriteStream?
+    #[allow(dead_code)]
     fn drop(&mut self) {
         let headers = unsafe { std::mem::ManuallyDrop::take(&mut self.headers) };
         let buffer = unsafe { std::mem::ManuallyDrop::take(&mut self.buffer) };
diff --git a/src/macros.rs b/src/macros.rs
index 54fcaa63..ca556513 100644
--- a/src/macros.rs
+++ b/src/macros.rs
@@ -324,6 +324,7 @@ macro_rules! match_untyped_arena_ptr {
     ($ptr:expr, $( ($(ArenaHeaderTag::$tag:tt)|+, $n:ident) => $code:block $(,)?)+ $(_ => $misc_code:expr $(,)?)?) => ({
         let ptr_id = $ptr;
 
+        #[allow(clippy::toplevel_ref_arg)]
         match ptr_id.get_tag() {
             $($(match_untyped_arena_ptr_pat!($tag) => {
                 match_untyped_arena_ptr_pat_body!(ptr_id, $tag, $n, $code)