This is an automated email from the ASF dual-hosted git repository.

github-merge-queue[bot] pushed a commit to branch 
gh-readonly-queue/main/pr-6630-227f81f2a9ccfe008f37c4856faf9c0d6f795a65
in repository https://gitbox.apache.org/repos/asf/texera.git

commit 37c68872fa42afdf3646e35e7d9f7b620de05c2f
Author: Matthew B. <[email protected]>
AuthorDate: Mon Jul 20 15:23:09 2026 -0700

    test(frontend): add unit tests for exhaustiveGuard (#6630)
    
    ### What changes were proposed in this PR?
    - Add `frontend/src/app/common/util/switch.spec.ts`, a new Vitest spec
    for the exhaustiveGuard helper, which previously had no dedicated unit
    tests.
    - Confirm it always throws and that the thrown message includes the
    offending value.
    - Cover JSON.stringify serialization of object values in the message.
    - Cover its intended use as the default branch of an exhaustive switch.
    ### Any related issues, documentation, discussions?
    Closes: #6629
    ### How was this PR tested?
    - Run: `cd frontend && node --max-old-space-size=8192
    ./node_modules/nx/dist/bin/nx.js test gui --watch=false
    --include=src/app/common/util/switch.spec.ts`, expect all 4 tests
    passing.
    - Test-only change; no production code is modified.
    ### Was this PR authored or co-authored using generative AI tooling?
    Co-authored with Claude Opus 4.8 in compliance with ASF
---
 frontend/src/app/common/util/switch.spec.ts | 58 +++++++++++++++++++++++++++++
 1 file changed, 58 insertions(+)

diff --git a/frontend/src/app/common/util/switch.spec.ts 
b/frontend/src/app/common/util/switch.spec.ts
new file mode 100644
index 0000000000..16df5bd0d5
--- /dev/null
+++ b/frontend/src/app/common/util/switch.spec.ts
@@ -0,0 +1,58 @@
+/**
+ * Licensed to the Apache Software Foundation (ASF) under one
+ * or more contributor license agreements.  See the NOTICE file
+ * distributed with this work for additional information
+ * regarding copyright ownership.  The ASF licenses this file
+ * to you under the Apache License, Version 2.0 (the
+ * "License"); you may not use this file except in compliance
+ * with the License.  You may obtain a copy of the License at
+ *
+ *   http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing,
+ * software distributed under the License is distributed on an
+ * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+ * KIND, either express or implied.  See the License for the
+ * specific language governing permissions and limitations
+ * under the License.
+ */
+
+import { exhaustiveGuard } from "./switch";
+
+describe("exhaustiveGuard", () => {
+  it("always throws when reached at runtime", () => {
+    // Cast is required because the signature only accepts `never`; a real
+    // caller reaches this line when an unexpected value slips past a switch.
+    expect(() => exhaustiveGuard("unexpected" as never)).toThrow();
+  });
+
+  it("includes the offending value in the error message", () => {
+    expect(() => exhaustiveGuard("oops" as never)).toThrow(
+      'ERROR! Reached forbidden guard function with unexpected value: "oops"'
+    );
+  });
+
+  it("serializes object values with JSON.stringify in the message", () => {
+    expect(() => exhaustiveGuard({ kind: "bad" } as never)).toThrow(
+      'ERROR! Reached forbidden guard function with unexpected value: 
{"kind":"bad"}'
+    );
+  });
+
+  it("acts as the default branch of an exhaustive switch", () => {
+    type Shape = "circle" | "square";
+    const area = (shape: Shape): number => {
+      switch (shape) {
+        case "circle":
+          return 1;
+        case "square":
+          return 2;
+        default:
+          return exhaustiveGuard(shape);
+      }
+    };
+    expect(area("circle")).toBe(1);
+    expect(area("square")).toBe(2);
+    // A value outside the union must trigger the guard's throw.
+    expect(() => area("triangle" as Shape)).toThrow(/unexpected value/);
+  });
+});

Reply via email to