diff --git a/src/mir/builder/control_flow/joinir/patterns/pattern2_steps/promote_step_box.rs b/src/mir/builder/control_flow/joinir/patterns/pattern2_steps/promote_step_box.rs index e3e7e0db..3bb05e0e 100644 --- a/src/mir/builder/control_flow/joinir/patterns/pattern2_steps/promote_step_box.rs +++ b/src/mir/builder/control_flow/joinir/patterns/pattern2_steps/promote_step_box.rs @@ -119,10 +119,17 @@ impl PromoteStepBox { inputs.read_only_body_local_slot = Some(slot); } PolicyDecision::Reject(reason) => { - return Err(error_messages::format_error_pattern2_promotion_failed( - &cond_body_local_vars, - &reason, - )); + // Phase 263 P0: Pattern2 cannot handle reassigned body-local variables. + // Return without error to allow Pattern1 or other patterns to handle this case + // without breaking detection→extract→lower SSOT. + #[cfg(debug_assertions)] + { + eprintln!( + "[pattern2/promote_step] Cannot promote LoopBodyLocal {:?}: {}", + cond_body_local_vars, reason + ); + } + // Skip promotion and continue (no-op, same as PolicyDecision::None) } PolicyDecision::None => {} }