Clear Unreachable flag for labels in incremental scenarios

Co-authored-by: jakebailey <[email protected]>

Author: Copilot

src/compiler/binder.ts

@@ -1791,8 +1791,14 @@ function createBinder(): (file: SourceFile, options: CompilerOptions) => void {
         bind(node.label);
         bind(node.statement);
         if (!activeLabelList.referenced) {
+            // Clear Unreachable flag from previous binding (for incremental scenarios)
+            (node.label as Mutable<Node>).flags &= ~NodeFlags.Unreachable;
             (node.label as Mutable<Node>).flags |= NodeFlags.Unreachable;
         }
+        else {
+            // Clear Unreachable flag if label is now referenced (for incremental scenarios)
+            (node.label as Mutable<Node>).flags &= ~NodeFlags.Unreachable;
+        }
         activeLabelList = activeLabelList.next;
         addAntecedent(postStatementLabel, currentFlow);
         currentFlow = finishFlowLabel(postStatementLabel);