From 6a1a85d0c404c4b4fbe9def00f0fd6863207dd0a Mon Sep 17 00:00:00 2001
From: Will Song <will.song@trailofbits.com>
Date: Thu, 4 Apr 2024 12:49:37 -0400
Subject: [PATCH] reformat else as per cargo fmt and the rust style guide
 (https://github.com/rust-lang/rust/blob/master/src/doc/style-guide/src/statements.md#else-blocks-let-else-statements)

---
 .rustfmt.toml                                   | 2 +-
 parser/src/syntax_sugar_remover.rs              | 3 ++-
 program_analysis/src/unconstrained_less_than.rs | 4 +++-
 3 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/.rustfmt.toml b/.rustfmt.toml
index bd6ce26..3d1bc26 100644
--- a/.rustfmt.toml
+++ b/.rustfmt.toml
@@ -1,4 +1,4 @@
-fn_args_layout = "Tall"
+fn_params_layout = "Tall"
 use_small_heuristics = "Max"
 max_width = 100
 reorder_modules = false
diff --git a/parser/src/syntax_sugar_remover.rs b/parser/src/syntax_sugar_remover.rs
index 74ee789..0f0a33e 100644
--- a/parser/src/syntax_sugar_remover.rs
+++ b/parser/src/syntax_sugar_remover.rs
@@ -999,7 +999,8 @@ mod tests {
                 parallel,
                 is_custom_gate,
                 ..
-            } = definition else {
+            } = definition
+            else {
                 unreachable!();
             };
             let template = TemplateData::new(
diff --git a/program_analysis/src/unconstrained_less_than.rs b/program_analysis/src/unconstrained_less_than.rs
index e55f10d..85c5180 100644
--- a/program_analysis/src/unconstrained_less_than.rs
+++ b/program_analysis/src/unconstrained_less_than.rs
@@ -246,7 +246,9 @@ fn update_inputs(
         let signal_access = component_access.pop();
         let component = VariableAccess::new(var, &component_access);
         if let Some(Component::LessThan { .. }) = components.get(&component) {
-            let (Some(ComponentAccess(signal_name)), Some(ArrayAccess(_))) = (signal_access, index_access) else {
+            let (Some(ComponentAccess(signal_name)), Some(ArrayAccess(_))) =
+                (signal_access, index_access)
+            else {
                 return;
             };
             if signal_name != "in" {