From 253b4225e81057a090d72051e73fe7a5c1ef6c85 Mon Sep 17 00:00:00 2001 From: tomoaki Date: Mon, 29 Dec 2025 10:20:15 +0900 Subject: [PATCH] phase29ai(p12): expose loopbodylocal facts via LoopFacts --- src/mir/builder/control_flow/plan/facts/loop_facts.rs | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/mir/builder/control_flow/plan/facts/loop_facts.rs b/src/mir/builder/control_flow/plan/facts/loop_facts.rs index 4b4c54a5..b4e5afd0 100644 --- a/src/mir/builder/control_flow/plan/facts/loop_facts.rs +++ b/src/mir/builder/control_flow/plan/facts/loop_facts.rs @@ -58,11 +58,7 @@ pub(in crate::mir::builder) fn try_build_loop_facts( let scan_with_init = try_extract_scan_with_init_facts(body, &condition_shape, &step_shape)?; let split_scan = try_extract_split_scan_facts(condition, body)?; let pattern2_break = try_extract_pattern2_break_facts(condition, body)?; - let pattern2_loopbodylocal = if pattern2_break.is_some() { - try_extract_pattern2_loopbodylocal_facts(condition, body)? - } else { - None - }; + let pattern2_loopbodylocal = try_extract_pattern2_loopbodylocal_facts(condition, body)?; if scan_with_init.is_none() && split_scan.is_none()