From 341ddd41ae1bd0239f058cd8a176a3db939176e3 Mon Sep 17 00:00:00 2001
From: Chris Tate <chris@ctate.dev>
Date: Mon, 26 Oct 2026 11:34:57 -0500
Subject: [PATCH] Regenerate the IR field readers for dynCheck's inferred site

---
 packages/compiler/src/ir/fields.generated.ts | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages/compiler/src/ir/fields.generated.ts b/packages/compiler/src/ir/fields.generated.ts
index a46259b6e..e9f5efaa3 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);
       }