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()