starkware-libs
diff --git a/‎Cargo.toml‎
Lines changed: 1 addition & 1 deletion b/‎Cargo.toml‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎crates/cairo-lang-sierra-generator/src/function_generator.rs‎
Lines changed: 4 additions & 5 deletions b/‎crates/cairo-lang-sierra-generator/src/function_generator.rs‎
Lines changed: 4 additions & 5 deletions
diff --git a/‎crates/cairo-lang-sierra-generator/src/program_generator.rs‎
Lines changed: 4 additions & 4 deletions b/‎crates/cairo-lang-sierra-generator/src/program_generator.rs‎
Lines changed: 4 additions & 4 deletions
diff --git a/‎crates/cairo-lang-sierra-generator/src/store_variables/mod.rs‎
Lines changed: 5 additions & 4 deletions b/‎crates/cairo-lang-sierra-generator/src/store_variables/mod.rs‎
Lines changed: 5 additions & 4 deletions
diff --git a/‎tests/e2e_test.rs‎
Lines changed: 4 additions & 5 deletions b/‎tests/e2e_test.rs‎
Lines changed: 4 additions & 5 deletions
@@ -94,7 +94,7 @@ edition = "2024"
 license = "Apache-2.0"
 license-file = "LICENSE"
 repository = "https://github.com/starkware-libs/cairo/"
-rust-version = "1.86"
+rust-version = "1.94"
 version = "2.18.0"
 
 [workspace.dependencies]
 
@@ -83,12 +83,11 @@ fn get_function_ap_change_and_code<'db>(
 
     // If the function starts with `revoke_ap_tracking` then we can avoid
     // the first `disable_ap_tracking`.
-    if let Some(lowering::Statement::Call(call_stmt)) = root_block.statements.first() {
-        if get_concrete_libfunc_id(db, call_stmt.function, false).1
+    if let Some(lowering::Statement::Call(call_stmt)) = root_block.statements.first()
+        && get_concrete_libfunc_id(db, call_stmt.function, false).1
             == revoke_ap_tracking_libfunc_id(db)
-        {
-            context.set_ap_tracking(false);
-        }
+    {
+        context.set_ap_tracking(false);
     }
 
     // Generate a label for the function's body.
 
@@ -443,10 +443,10 @@ pub fn get_dummy_program_for_size_estimation(
     let mut functions = vec![function];
 
     for statement in &function.body {
-        if let Some(function_id) = try_get_function_with_body_id(db, statement) {
-            if processed_function_ids.insert(function_id) {
-                functions.push(db.priv_get_dummy_function(function_id)?);
-            }
+        if let Some(function_id) = try_get_function_with_body_id(db, statement)
+            && processed_function_ids.insert(function_id)
+        {
+            functions.push(db.priv_get_dummy_function(function_id)?);
         }
     }
     // Since we are not interested in the locations, we can remove them from the statements.
 
@@ -455,10 +455,11 @@ impl<'db> AddStoreVariableStatements<'db> {
     fn store_all_possibly_lost_variables(&mut self, state: &mut VariablesState) {
         self.store_variables_as_locals(state);
         for (var, var_state) in state.variables.iter_mut() {
-            if let VarState::Deferred { info } = var_state {
-                if info.kind != DeferredOutputKind::Const && self.duplicated_vars.contains(var) {
-                    *var_state = self.store_deferred(&mut state.known_stack, var, &info.ty);
-                }
+            if let VarState::Deferred { info } = var_state
+                && info.kind != DeferredOutputKind::Const
+                && self.duplicated_vars.contains(var)
+            {
+                *var_state = self.store_deferred(&mut state.known_stack, var, &info.ty);
             }
         }
     }
 
@@ -387,12 +387,11 @@ fn run_e2e_test(
 
     // Handle test_data if specified.
     // This runs AFTER sierra/casm generation, so compilation outputs are always verified first.
-    if let Some(test_data) = params.test_data {
-        if let Err(e) =
+    if let Some(test_data) = params.test_data
+        && let Err(e) =
             run_and_validate_test_data(sierra_program, test_data, params.add_withdraw_gas)
-        {
-            return TestRunnerResult { outputs: res, error: Some(e) };
-        }
+    {
+        return TestRunnerResult { outputs: res, error: Some(e) };
     }
 
     TestRunnerResult::success(res)
Original file line number	Diff line number	Diff line change
`@@ -443,10 +443,10 @@ pub fn get_dummy_program_for_size_estimation(`
`443`	`443`	`let mut functions = vec![function];`
`444`	`444`
`445`	`445`	`for statement in &function.body {`
`446`		`- if let Some(function_id) = try_get_function_with_body_id(db, statement) {`
`447`		`- if processed_function_ids.insert(function_id) {`
`448`		`- functions.push(db.priv_get_dummy_function(function_id)?);`
`449`		`- }`
	`446`	`+ if let Some(function_id) = try_get_function_with_body_id(db, statement)`
	`447`	`+ && processed_function_ids.insert(function_id)`
	`448`	`+ {`
	`449`	`+ functions.push(db.priv_get_dummy_function(function_id)?);`
`450`	`450`	`}`
`451`	`451`	`}`
`452`	`452`	`// Since we are not interested in the locations, we can remove them from the statements.`
Original file line number	Diff line number	Diff line change
`@@ -455,10 +455,11 @@ impl<'db> AddStoreVariableStatements<'db> {`
`455`	`455`	`fn store_all_possibly_lost_variables(&mut self, state: &mut VariablesState) {`
`456`	`456`	`self.store_variables_as_locals(state);`
`457`	`457`	`for (var, var_state) in state.variables.iter_mut() {`
`458`		`- if let VarState::Deferred { info } = var_state {`
`459`		`- if info.kind != DeferredOutputKind::Const && self.duplicated_vars.contains(var) {`
`460`		`- *var_state = self.store_deferred(&mut state.known_stack, var, &info.ty);`
`461`		`- }`
	`458`	`+ if let VarState::Deferred { info } = var_state`
	`459`	`+ && info.kind != DeferredOutputKind::Const`
	`460`	`+ && self.duplicated_vars.contains(var)`
	`461`	`+ {`
	`462`	`+ *var_state = self.store_deferred(&mut state.known_stack, var, &info.ty);`
`462`	`463`	`}`
`463`	`464`	`}`
`464`	`465`	`}`