fix: avoid division by zero

compiler/noirc_evaluator/src/acir/acir_context/mod.rs

@@ -773,7 +773,7 @@ impl<F: AcirField, B: BlackBoxFunctionSolver<F>> AcirContext<F, B> {
 
             // If `lhs` and `rhs` are known constants then we can calculate the result at compile time.
             // `rhs` must be non-zero.
-            (Some(lhs_const), Some(rhs_const), _) if !rhs_const.is_zero() => {
+            (Some(lhs_const), Some(rhs_const), _) if rhs_const.to_u128() != 0 => {
                 let quotient = lhs_const.to_u128() / rhs_const.to_u128();
                 let remainder = lhs_const.to_u128() - quotient * rhs_const.to_u128();
 

test_programs/compile_success_with_bug/regression_8175/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "regression_8175"
+type = "bin"
+authors = [""]
+
+[dependencies]

test_programs/compile_success_with_bug/regression_8175/src/main.nr

@@ -0,0 +1,4 @@
+fn main() -> pub bool {
+    let d = ((false as Field) / (false as Field));
+    (d as u128) == 0
+}