disable loop stat narrow outside

Author: CppCXY

crates/emmylua_code_analysis/src/compilation/analyzer/flow/bind_analyze/stats.rs

@@ -248,7 +248,7 @@ pub fn bind_while_stat(
         );
     }
 
-    finish_flow_label(binder, post_while_label, current)
+    current
 }
 
 pub fn bind_repeat_stat(
@@ -369,7 +369,7 @@ pub fn bind_for_range_stat(
         );
     }
 
-    finish_flow_label(binder, post_for_range_label, current)
+    current
 }
 
 pub fn bind_for_stat(binder: &mut FlowBinder, for_stat: LuaForStat, current: FlowId) -> FlowId {
@@ -389,5 +389,5 @@ pub fn bind_for_stat(binder: &mut FlowBinder, for_stat: LuaForStat, current: Flo
         bind_iter_block(binder, iter_block, for_node, pre_for_label, post_for_label);
     }
 
-    finish_flow_label(binder, post_for_label, current)
+    current
 }

crates/emmylua_code_analysis/src/compilation/test/flow.rs

@@ -869,4 +869,26 @@ end
             "#,
         );
     }
+
+    #[test]
+    fn test_issue_584() {
+        let mut ws = VirtualWorkspace::new_with_init_std_lib();
+
+        ws.check_code_for(
+            DiagnosticCode::AssignTypeMismatch,
+            r#"
+            local function foo()
+                for _ in ipairs({}) do
+                    break
+                end
+
+                local a
+                if a == nil then
+                    a = 1
+                    local _ = a --- @type integer
+                end
+            end
+            "#,
+        );
+    }
 }