fix: labeled statements emit compile error instead of silent wrong results

src/parser-native/transformer.ts

@@ -126,6 +126,16 @@ function transformProgram(node: TreeSitterNode): AST {
 }
 
 function transformTopLevelNode(node: TreeSitterNode, ast: AST): void {
+  if ((node as NodeBase).type === "labeled_statement") {
+    const line = getLineFromIndex((node as NodeBase).source, (node as NodeBase).startIndex);
+    console.error(
+      currentFile +
+        ":" +
+        line +
+        ": error: labeled statements (e.g., 'outer: for') are not supported; use a flag variable with regular break instead",
+    );
+    process.exit(1);
+  }
   switch (node.type) {
     case "import_statement":
       const importDecl = transformImportStatement(node);
@@ -1579,6 +1589,16 @@ function transformTypeofExpression(node: TreeSitterNode): UnaryNode {
 }
 
 function transformStatement(node: TreeSitterNode): Statement | null {
+  if ((node as NodeBase).type === "labeled_statement") {
+    const line = getLineFromIndex((node as NodeBase).source, (node as NodeBase).startIndex);
+    console.error(
+      currentFile +
+        ":" +
+        line +
+        ": error: labeled statements (e.g., 'outer: for') are not supported; use a flag variable with regular break instead",
+    );
+    process.exit(1);
+  }
   switch (node.type) {
     case "lexical_declaration":
     case "variable_declaration":

src/parser-ts/handlers/statements.ts

@@ -86,6 +86,20 @@ export function transformStatement(
     case ts.SyntaxKind.SwitchStatement:
       return transformSwitchToIfElse(node as ts.SwitchStatement, checker);
 
+    case ts.SyntaxKind.LabeledStatement: {
+      const loc = getLoc(node);
+      console.error(
+        loc.file +
+          ":" +
+          loc.line +
+          ":" +
+          loc.column +
+          ": error: labeled statements (e.g., 'outer: for') are not supported; use a flag variable with regular break instead",
+      );
+      process.exit(1);
+      break;
+    }
+
     default:
       return null;
   }

src/parser-ts/transformer.ts

@@ -359,6 +359,20 @@ function transformTopLevelStatement(
       break;
     }
 
+    case ts.SyntaxKind.LabeledStatement: {
+      const loc = getLoc(node);
+      console.error(
+        loc.file +
+          ":" +
+          loc.line +
+          ":" +
+          loc.column +
+          ": error: labeled statements (e.g., 'outer: for') are not supported; use a flag variable with regular break instead",
+      );
+      process.exit(1);
+      break;
+    }
+
     default:
       break;
   }

tests/fixtures/edge-cases/labeled-statement.ts

@@ -0,0 +1,11 @@
+// @test-compile-error: labeled statements
+let found = -1;
+outer: for (let i = 0; i < 3; i++) {
+  for (let j = 0; j < 3; j++) {
+    if (i === 1 && j === 1) {
+      found = i * 10 + j;
+      break outer;
+    }
+  }
+}
+console.log(found);