From ce62a1c81eff0a3a2fe15784b24131a8238b0001 Mon Sep 17 00:00:00 2001
From: Ada Bohm <ada@kreatrix.org>
Date: Mon, 7 Oct 2024 10:49:51 +0200
Subject: [PATCH] Update Rust version to 1.80.0

---
 .github/workflows/build.yml                      | 4 ++--
 .github/workflows/test.yml                       | 2 +-
 Cargo.toml                                       | 2 +-
 crates/hyperqueue/src/stream/reader/outputlog.rs | 4 ++--
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index c8b105087..ea699667d 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -52,7 +52,7 @@ jobs:
         uses: actions-rs/toolchain@v1
         with:
           profile: minimal
-          toolchain: 1.76.0
+          toolchain: 1.80.0
           override: true
 
       - uses: Swatinem/rust-cache@v2.7.0
@@ -103,7 +103,7 @@ jobs:
         uses: actions-rs/toolchain@v1
         with:
           profile: minimal
-          toolchain: 1.76.0
+          toolchain: 1.80.0
           override: true
 
       - uses: Swatinem/rust-cache@v2.7.0
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 2ccbe5636..87d18fcd2 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -19,7 +19,7 @@ jobs:
         uses: actions-rs/toolchain@v1
         with:
           profile: minimal
-          toolchain: 1.76.0
+          toolchain: 1.80.0
           override: true
           components: clippy, rustfmt
 
diff --git a/Cargo.toml b/Cargo.toml
index 9b83e6b38..3accd8837 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -11,7 +11,7 @@ default-members = [
 resolver = "2"
 
 [workspace.package]
-rust-version = "1.76.0"
+rust-version = "1.80.0"
 edition = "2021"
 authors = ["Ada Böhm <ada@kreatrix.org>", "Jakub Beránek <berykubik@gmail.com>"]
 
diff --git a/crates/hyperqueue/src/stream/reader/outputlog.rs b/crates/hyperqueue/src/stream/reader/outputlog.rs
index 7e4efd128..ef2ccd943 100644
--- a/crates/hyperqueue/src/stream/reader/outputlog.rs
+++ b/crates/hyperqueue/src/stream/reader/outputlog.rs
@@ -211,13 +211,13 @@ impl OutputLog {
         Ok(index)
     }
 
-    fn check_header(mut file: &mut BufReader<File>) -> anyhow::Result<StreamFileHeader> {
+    fn check_header(file: &mut BufReader<File>) -> anyhow::Result<StreamFileHeader> {
         let mut header = [0u8; STREAM_FILE_HEADER.len()];
         file.read_exact(&mut header)?;
         if header != STREAM_FILE_HEADER {
             anyhow::bail!("Invalid file format");
         }
-        Ok(bincode_config().deserialize_from(&mut file)?)
+        Ok(bincode_config().deserialize_from(file)?)
     }
 
     pub fn summary(&self) -> Summary {