From 986c620f1ac39abd502e9e4985d99930a01787da Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 14 Sep 2026 09:10:00 +0000
Subject: [PATCH] deps(deps): bump hax-lib from 0.3.7 to 0.4.0

Bumps [hax-lib](https://github.com/cryspen/hax) from 0.3.7 to 0.4.0.
- [Release notes](https://github.com/cryspen/hax/releases)
- [Changelog](https://github.com/cryspen/hax/blob/main/CHANGELOG.md)
- [Commits](https://github.com/cryspen/hax/compare/hax-lib-v0.3.7...hax-lib-v0.4.0)

---
updated-dependencies:
- dependency-name: hax-lib
  dependency-version: 0.4.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 Cargo.lock | 35 ++++++++++-------------------------
 Cargo.toml |  2 +-
 2 files changed, 11 insertions(+), 26 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 520bdf1e..0b1abecd 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -734,9 +734,9 @@ dependencies = [
 
 [[package]]
 name = "hax-lib"
-version = "0.3.7"
+version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "01a33cb227f97ee5c419064c31d7c55a7d895f28d8019ccdadc311cc036500c4"
+checksum = "e14b91f3c959e69795166fb5b61e46c6c41f32e6627443a329618c01fb2798b1"
 dependencies = [
  "hax-lib-macros",
  "num-bigint 0.4.8",
@@ -745,12 +745,11 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-macros"
-version = "0.3.7"
+version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "28da835a5f153e9f3d0cc1f42ee605a1cfa9093c93348193793d60a1b0908b51"
+checksum = "914ab66e650cd1b2109185e7175e1407754efafda5da5fff854fb7473e376f48"
 dependencies = [
  "hax-lib-macros-types",
- "proc-macro-error2",
  "proc-macro2",
  "quote",
  "syn 2.0.119",
@@ -758,9 +757,9 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-macros-types"
-version = "0.3.7"
+version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "eed327e9a28d6ee018a4a9ba842d4ee27e378c8a591d2beb6f42f32b24a02fcb"
+checksum = "4eb1a610adbc947efc77adb73875320fef6f5f134ea88dcef5fdd02d62294159"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2430,24 +2429,6 @@ dependencies = [
  "zerocopy",
 ]
 
-[[package]]
-name = "proc-macro-error-attr2"
-version = "2.0.0"
-dependencies = [
- "proc-macro2",
- "quote",
-]
-
-[[package]]
-name = "proc-macro-error2"
-version = "2.0.1"
-dependencies = [
- "proc-macro-error-attr2",
- "proc-macro2",
- "quote",
- "syn 2.0.119",
-]
-
 [[package]]
 name = "proc-macro2"
 version = "1.0.107"
@@ -3257,3 +3238,7 @@ name = "zmij"
 version = "1.0.23"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "29666d0abbfad1e3dc4dcf6144730dd3a3ab225bbbdac83319345b1b44ccfc1b"
+
+[[patch.unused]]
+name = "proc-macro-error2"
+version = "2.0.1"
diff --git a/Cargo.toml b/Cargo.toml
index cbe95bd0..7fa870fd 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -117,7 +117,7 @@ categories = ["cryptography", "wasm"]
 
 [workspace.dependencies]
 # Misc
-hax-lib = "0.3.7"
+hax-lib = "0.4.0"
 blobby = "0.4.0"
 # WASM
 wasm-bindgen = "0.2.127"