Minor

4l0n50 · 4l0n50 · commit 5aae193acfdc · 2025-11-06T12:37:43.000+01:00
diff --git a/circuit/src/builder/compiler/expression_lowerer.rs b/circuit/src/builder/compiler/expression_lowerer.rs
@@ -190,12 +190,12 @@ where
         }
 
         // Pass C: collect witness hints and emit `Unconstrained` operatios
-        for (expr_idx, _) in self
+        for expr_idx in self
             .graph
             .nodes()
             .iter()
             .enumerate()
-            .filter(|(_, expr)| matches!(expr, Expr::Witness))
+            .filter_map(|(expr_idx, expr)| matches!(expr, Expr::Witness).then(|| expr_idx))
         {
             let expr_id = ExprId(expr_idx as u32);
             let out_widx = alloc_witness_id_for_expr(expr_idx);

Original file line number	Diff line number	Diff line change
`@@ -190,12 +190,12 @@ where`
`190`	`190`	`}`
`191`	`191`
`192`	`192`	// Pass C: collect witness hints and emit `Unconstrained` operatios
`193`		`- for (expr_idx, _) in self`
	`193`	`+ for expr_idx in self`
`194`	`194`	`.graph`
`195`	`195`	`.nodes()`
`196`	`196`	`.iter()`
`197`	`197`	`.enumerate()`
`198`		`- .filter(\|(_, expr)\| matches!(expr, Expr::Witness))`
	`198`	`+ .filter_map(\|(expr_idx, expr)\| matches!(expr, Expr::Witness).then(\|\| expr_idx))`
`199`	`199`	`{`
`200`	`200`	`let expr_id = ExprId(expr_idx as u32);`
`201`	`201`	`let out_widx = alloc_witness_id_for_expr(expr_idx);`