fix(hir): 短路表达式处理优化

Author: x3zvawq

src/hir/analyze/short_circuit/recovery.rs

@@ -212,25 +212,18 @@ fn build_branch_short_circuit_plan_from_candidate(
         return None;
     }
 
-    let decision = if decision_references_forbidden_candidate_temps(
-        lowering,
-        short,
-        &decision,
-        &allowed_blocks,
-    ) {
+    let has_forbidden = decision_references_forbidden_candidate_temps(lowering, short, &decision, &allowed_blocks);
+    let decision = if has_forbidden {
         match short.exit {
-            // branch short-circuit 的最终条件只会在当前结构位点求值一次。
-            // 当后续 consumed header 的 subject 只是被保守地留成 temp ref 时，
-            // 这里允许沿既有 decision builder 退回到 single-eval lowering，
-            // 把那一跳恢复成源码级操作数本体，而不是直接整段退化成布尔壳。
-            // 入口 header 的 prefix 会在 `lower_branch` 中显式物化；这里继续
-            // 引用它的 temp，避免把同一次调用同时保留成前缀语句和条件表达式。
-            ShortCircuitExit::BranchExit { .. } => build_branch_decision_expr_mixed_eval(
-                lowering,
-                short,
-                short.entry,
-                &allowed_blocks,
-            )?,
+            ShortCircuitExit::BranchExit { .. } => {
+                let res = build_branch_decision_expr_mixed_eval(
+                    lowering,
+                    short,
+                    short.entry,
+                    &allowed_blocks,
+                );
+                res?
+            }
             ShortCircuitExit::ValueMerge(_) => {
                 let (_, _, truthy_leaves, falsy_leaves) =
                     branch_exit_blocks_from_value_merge_candidate(short)?;

src/hir/analyze/structure/body.rs

@@ -816,6 +816,23 @@ impl<'a, 'b> StructuredBodyLowerer<'a, 'b> {
             }));
         }
 
+        // 当 SC 的 falsy 出口本身是 `return`/`tail-call` 终结块，并且 then 入口能
+        // 经由内部控制流到达同一个终结块时（典型形状：then 内部还有 `if X then return end`
+        // 的早返回守卫，与 SC 失败路径共用函数尾部的隐式 return），按 IfElse 处理会
+        // 让 then 在 lower 时先 visit 掉这个共享终结块，导致随后 lower else 失败、整段
+        // proto 退化成 goto-label fallback。这里把这种形状显式降级成 IfThen，merge 留空：
+        // 终结块由 then 内部的早返回路径自然消费，SC falsy 边落到外层 region 的自然末尾，
+        // 语义上正好对齐 `if cond then ... <early return inside> ... end` 加函数末尾隐式 return。
+        if self.block_is_terminal_exit(falsy) && self.lowering.cfg.can_reach(truthy, falsy) {
+            return Some(Some(StructuredBranchPlan {
+                cond,
+                then_entry: truthy,
+                else_entry: None,
+                merge: None,
+                consumed_headers,
+            }));
+        }
+
         let merge = self
             .lowering
             .graph_facts