From a5b455b334993ba4933f661c2d0900adccdb03ff Mon Sep 17 00:00:00 2001
From: TomAFrench <tom@tomfren.ch>
Date: Thu, 24 Apr 2025 17:30:25 +0000
Subject: [PATCH 1/4] chore: add initial regression test

---
 test_programs/execution_panic/regression_8210/Nargo.toml  | 7 +++++++
 test_programs/execution_panic/regression_8210/src/main.nr | 7 +++++++
 2 files changed, 14 insertions(+)
 create mode 100644 test_programs/execution_panic/regression_8210/Nargo.toml
 create mode 100644 test_programs/execution_panic/regression_8210/src/main.nr

diff --git a/test_programs/execution_panic/regression_8210/Nargo.toml b/test_programs/execution_panic/regression_8210/Nargo.toml
new file mode 100644
index 00000000000..a986d79fbc5
--- /dev/null
+++ b/test_programs/execution_panic/regression_8210/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "regression_8210"
+type = "bin"
+authors = [""]
+
+[dependencies]
+bignum = {tag = "v0.7.0", git = "https://github.com/noir-lang/noir-bignum"}
diff --git a/test_programs/execution_panic/regression_8210/src/main.nr b/test_programs/execution_panic/regression_8210/src/main.nr
new file mode 100644
index 00000000000..e7595237c26
--- /dev/null
+++ b/test_programs/execution_panic/regression_8210/src/main.nr
@@ -0,0 +1,7 @@
+
+use bignum::{BigNum, BN254_Fq};
+
+fn main() {
+    BN254_Fq::zero().modulus_bits();
+}
+

From 3fb92b8557c1a5dd42cbf253d4880b040a67297e Mon Sep 17 00:00:00 2001
From: TomAFrench <tom@tomfren.ch>
Date: Thu, 24 Apr 2025 17:31:18 +0000
Subject: [PATCH 2/4] chore: link to issue

---
 test_programs/execution_panic/regression_8210/src/main.nr | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/test_programs/execution_panic/regression_8210/src/main.nr b/test_programs/execution_panic/regression_8210/src/main.nr
index e7595237c26..c5d86c130cc 100644
--- a/test_programs/execution_panic/regression_8210/src/main.nr
+++ b/test_programs/execution_panic/regression_8210/src/main.nr
@@ -1,6 +1,8 @@
 
 use bignum::{BigNum, BN254_Fq};
 
+
+// https://github.com/noir-lang/noir/issues/8210
 fn main() {
     BN254_Fq::zero().modulus_bits();
 }

From c8c00c375cab1075190c7c8b77bd21f75a3b6e7c Mon Sep 17 00:00:00 2001
From: TomAFrench <tom@tomfren.ch>
Date: Thu, 24 Apr 2025 17:45:49 +0000
Subject: [PATCH 3/4] chore: minimise reproduction

---
 .../execution_panic/regression_8210/Nargo.toml  |  1 -
 .../execution_panic/regression_8210/src/main.nr | 17 +++++++++++++----
 2 files changed, 13 insertions(+), 5 deletions(-)

diff --git a/test_programs/execution_panic/regression_8210/Nargo.toml b/test_programs/execution_panic/regression_8210/Nargo.toml
index a986d79fbc5..56b35b52f55 100644
--- a/test_programs/execution_panic/regression_8210/Nargo.toml
+++ b/test_programs/execution_panic/regression_8210/Nargo.toml
@@ -4,4 +4,3 @@ type = "bin"
 authors = [""]
 
 [dependencies]
-bignum = {tag = "v0.7.0", git = "https://github.com/noir-lang/noir-bignum"}
diff --git a/test_programs/execution_panic/regression_8210/src/main.nr b/test_programs/execution_panic/regression_8210/src/main.nr
index c5d86c130cc..0b0771d9d50 100644
--- a/test_programs/execution_panic/regression_8210/src/main.nr
+++ b/test_programs/execution_panic/regression_8210/src/main.nr
@@ -1,9 +1,18 @@
 
-use bignum::{BigNum, BN254_Fq};
-
-
 // https://github.com/noir-lang/noir/issues/8210
 fn main() {
-    BN254_Fq::zero().modulus_bits();
+    (42 as Field).bar();
 }
 
+
+trait Foo {
+    let BAR: u32;
+
+    fn bar(_: Self) -> u32 {
+        Foo::BAR
+    }  
+}
+
+impl Foo for Field {
+    let BAR: u32 = 254;
+}

From bb0bf0d6bc96d187abdf54c2f83de459825c007f Mon Sep 17 00:00:00 2001
From: TomAFrench <tom@tomfren.ch>
Date: Thu, 24 Apr 2025 17:47:41 +0000
Subject: [PATCH 4/4] .

---
 test_programs/execution_panic/regression_8210/src/main.nr | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/test_programs/execution_panic/regression_8210/src/main.nr b/test_programs/execution_panic/regression_8210/src/main.nr
index 0b0771d9d50..c6935e2aae8 100644
--- a/test_programs/execution_panic/regression_8210/src/main.nr
+++ b/test_programs/execution_panic/regression_8210/src/main.nr
@@ -1,16 +1,14 @@
-
 // https://github.com/noir-lang/noir/issues/8210
 fn main() {
     (42 as Field).bar();
 }
 
-
 trait Foo {
     let BAR: u32;
 
     fn bar(_: Self) -> u32 {
         Foo::BAR
-    }  
+    }
 }
 
 impl Foo for Field {