diff --git a/packages/compiler/src/ir/fields.generated.ts b/packages/compiler/src/ir/fields.generated.ts
index a46259b6ef..e9f5efaa3c 100644
--- a/packages/compiler/src/ir/fields.generated.ts
+++ b/packages/compiler/src/ir/fields.generated.ts
@@ -167,6 +167,7 @@ export function eachStringField(
     }
     case "dynCheck": {
       visit(node.kind, "kind");
+      if (typeof node.inferredSite === "string") visit(node.inferredSite, "inferredSite");
       return;
     }
     case "dynDestrCheck": {
@@ -866,6 +867,9 @@ export function walkExprFields(node: IrExpr, walker: IrFieldWalker, skipType: bo
     case "dynCheck": {
       walker.string(node.kind);
       walkExprFields(node.value, walker, skipType);
+      if (node.inferredSite !== undefined && node.inferredSite !== null) {
+        walker.string(node.inferredSite);
+      }
       if (!skipType) {
         walkTypeFields(node.type, walker, skipType);
       }
diff --git a/tests/harness/npm-suite.ts b/tests/harness/npm-suite.ts
index 9e25872c47..184be937ef 100644
--- a/tests/harness/npm-suite.ts
+++ b/tests/harness/npm-suite.ts
@@ -119,8 +119,8 @@ const OVERLAY_KNOWN: Record<string, Known> = {
   // `--help` reaches an unsupported operation in both builds; with the
   // overlay it fails at a checked conversion of an option value first
   // (results/design-shape-inference/NOTES.md, open item).
-  "commander-calc": { run: "expected number at $, got undefined", argvs: [["--help"]] },
-  "commander-calc-async": { run: "expected number at $, got undefined", argvs: [["--help"]] },
+  "commander-calc": { run: "expected boolean at $, got undefined", argvs: [["--help"]] },
+  "commander-calc-async": { run: "expected boolean at $, got undefined", argvs: [["--help"]] },
 };
 
 /** Per-case timeouts past the default 120 s: the undici cases compile the