@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/type-system/internal/type-converter/objects.js.map

@@ -1 +1 @@
-{"version":3,"file":"objects.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/objects.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAUjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAGzE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAwB,EACxB,OAAgB,EAChB,WAA4D,EAC3B,EAAE;IACnC,yDAAyD;IACzD,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC;IAC5E,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAC1C,CAAC;IAEF,+DAA+D;IAC/D,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,gFAAgF;QAChF,MAAM,QAAQ,GAAG,aAAa,CAAC;QAC/B,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAExC,yCAAyC;QACzC,MAAM,OAAO,GAAW,QAAQ,EAAE,IAAI;YACpC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC/B,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAE9C,gEAAgE;QAChE,yDAAyD;QACzD,MAAM,SAAS,GAAW,QAAQ,CAAC,IAAI;YACrC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;YACrC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAExB,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO;YACP,SAAS;SACV,CAAC;IACJ,CAAC;IAED,yCAAyC;IACzC,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QAC9B,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAClD,MAAM,OAAO,GAAwB;gBACnC,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EACF,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;oBACzC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;oBAClB,CAAC,CAAC,YAAY;gBAClB,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;gBACvC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa;gBAClC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAChD;aACF,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;aAAM,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;YACxC,MAAM,OAAO,GAAsB;gBACjC,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EACF,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;oBACzC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;oBAClB,CAAC,CAAC,YAAY;gBAClB,UAAU,EAAE,qBAAqB,CAC/B,MAAM,CAAC,UAAU,EACjB,OAAO,EACP,WAAW,CACZ;gBACD,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;aACxE,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CAAC,QAAqB,EAAU,EAAE;IACvD,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,IACE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QAC7C,CAAC,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC;YAC/B,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAClC,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,EACtC,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,qCAAqC;IACrC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,qBAAqB,GAAG,CAC5B,UAAiD,EACjD,OAAgB,EAChB,WAA4D,EACpC,EAAE;IAC1B,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9B,IAAI,OAAO,GAAmC,OAAO,CAAC;QACtD,IAAI,UAAU,GAA4B,KAAK,CAAC,IAAI,CAAC;QAErD,uDAAuD;QACvD,IACE,KAAK,CAAC,IAAI;YACV,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EACpC,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1C,IACE,CAAC,QAAQ,KAAK,KAAK;gBACjB,QAAQ,KAAK,KAAK;gBAClB,QAAQ,KAAK,IAAI;gBACjB,QAAQ,KAAK,OAAO,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,aAAa;gBACxB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACnC,CAAC;gBACD,0DAA0D;gBAC1D,OAAO;oBACL,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,OAAO;wBACvC,CAAC,CAAC,IAAI;wBACN,CAAC,CAAE,QAA0B,CAAC;gBAClC,uBAAuB;gBACvB,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE5E,OAAO;YACL,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC;YACvC,IAAI,EAAE,SAAS;YACf,0CAA0C;YAC1C,WAAW,EAAE,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa;YACjC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;YAC9B,OAAO;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}
+{"version":3,"file":"objects.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/objects.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAUjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,mCAAmC,EAAE,MAAM,mCAAmC,CAAC;AAGxF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAwB,EACxB,OAAgB,EAChB,WAA4D,EAC3B,EAAE;IACnC,yDAAyD;IACzD,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC;IAC5E,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAC1C,CAAC;IAEF,+DAA+D;IAC/D,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,gFAAgF;QAChF,MAAM,QAAQ,GAAG,aAAa,CAAC;QAC/B,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAExC,yCAAyC;QACzC,MAAM,OAAO,GAAW,QAAQ,EAAE,IAAI;YACpC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC/B,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAE9C,gEAAgE;QAChE,yDAAyD;QACzD,MAAM,SAAS,GAAW,QAAQ,CAAC,IAAI;YACrC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;YACrC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAExB,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO;YACP,SAAS;SACV,CAAC;IACJ,CAAC;IAED,yCAAyC;IACzC,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QAC9B,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAClD,MAAM,UAAU,GAAG,mCAAmC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpE,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO;YACT,CAAC;YACD,MAAM,OAAO,GAAwB;gBACnC,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;gBACvC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa;gBAClC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAChD;aACF,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;aAAM,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;YACxC,MAAM,UAAU,GAAG,mCAAmC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpE,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO;YACT,CAAC;YACD,MAAM,OAAO,GAAsB;gBACjC,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,qBAAqB,CAC/B,MAAM,CAAC,UAAU,EACjB,OAAO,EACP,WAAW,CACZ;gBACD,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;aACxE,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CAAC,QAAqB,EAAU,EAAE;IACvD,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,IACE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QAC7C,CAAC,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC;YAC/B,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAClC,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,EACtC,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,qCAAqC;IACrC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,qBAAqB,GAAG,CAC5B,UAAiD,EACjD,OAAgB,EAChB,WAA4D,EACpC,EAAE;IAC1B,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9B,IAAI,OAAO,GAAmC,OAAO,CAAC;QACtD,IAAI,UAAU,GAA4B,KAAK,CAAC,IAAI,CAAC;QAErD,uDAAuD;QACvD,IACE,KAAK,CAAC,IAAI;YACV,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EACpC,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1C,IACE,CAAC,QAAQ,KAAK,KAAK;gBACjB,QAAQ,KAAK,KAAK;gBAClB,QAAQ,KAAK,IAAI;gBACjB,QAAQ,KAAK,OAAO,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,aAAa;gBACxB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACnC,CAAC;gBACD,0DAA0D;gBAC1D,OAAO;oBACL,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,OAAO;wBACvC,CAAC,CAAC,IAAI;wBACN,CAAC,CAAE,QAA0B,CAAC;gBAClC,uBAAuB;gBACvB,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE5E,OAAO;YACL,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC;YACvC,IAAI,EAAE,SAAS;YACf,0CAA0C;YAC1C,WAAW,EAAE,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa;YACjC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;YAC9B,OAAO;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/orchestrator.d.ts

@@ -1,12 +1,13 @@
 /**
- * Type conversion orchestrator
+ * Type conversion orchestrator – facade that delegates to sub-modules.
+ *
+ * Sub-modules:
+ *   - type-operators.ts: keyof, indexed access, template literals, shared helpers
+ *   - value-inference.ts: deterministic value type inference from declarations/expressions
  */
 import * as ts from "typescript";
-import { IrType, IrFunctionType, IrObjectType, IrDictionaryType, IrTupleType } from "../../../types.js";
+import type { IrType, IrFunctionType, IrObjectType, IrDictionaryType, IrTupleType } from "../../../types.js";
 import type { Binding } from "../../../binding/index.js";
-/**
- * Convert TypeScript type node to IR type
- */
 export declare const convertType: (typeNode: ts.TypeNode, binding: Binding) => IrType;
 export type { IrFunctionType, IrObjectType, IrDictionaryType, IrTupleType };
 //# sourceMappingURL=orchestrator.d.ts.map

package/dist/ir/type-system/internal/type-converter/orchestrator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,WAAW,EAEZ,MAAM,mBAAmB,CAAC;AAW3B,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AA+oB1E;;GAEG;AACH,eAAO,MAAM,WAAW,GACtB,UAAU,EAAE,CAAC,QAAQ,EACrB,SAAS,OAAO,KACf,MAoRF,CAAC;AAGF,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC"}
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/orchestrator.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EACV,MAAM,EACN,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACZ,MAAM,mBAAmB,CAAC;AAW3B,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AAkB1E,eAAO,MAAM,WAAW,GACtB,UAAU,EAAE,CAAC,QAAQ,EACrB,SAAS,OAAO,KACf,MA4WF,CAAC;AAGF,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC"}

package/dist/ir/type-system/internal/type-converter/orchestrator.js

@@ -1,5 +1,9 @@
 /**
- * Type conversion orchestrator
+ * Type conversion orchestrator – facade that delegates to sub-modules.
+ *
+ * Sub-modules:
+ *   - type-operators.ts: keyof, indexed access, template literals, shared helpers
+ *   - value-inference.ts: deterministic value type inference from declarations/expressions
  */
 import * as ts from "typescript";
 import { convertPrimitiveKeyword } from "./primitives.js";
@@ -9,470 +13,12 @@ import { convertFunctionType } from "./functions.js";
 import { convertObjectType } from "./objects.js";
 import { convertUnionType, convertIntersectionType, } from "./unions-intersections.js";
 import { convertLiteralType } from "./literals.js";
-const dedupeUnionMembers = (types) => {
-    const seen = new Set();
-    const result = [];
-    for (const type of types) {
-        const key = JSON.stringify(type);
-        if (seen.has(key))
-            continue;
-        seen.add(key);
-        result.push(type);
-    }
-    return result;
-};
-const toUnionOrSingle = (types) => {
-    const deduped = dedupeUnionMembers(types);
-    if (deduped.length === 0)
-        return { kind: "unknownType" };
-    if (deduped.length === 1) {
-        const first = deduped[0];
-        return first ?? { kind: "unknownType" };
-    }
-    return { kind: "unionType", types: deduped };
-};
-const getTypeParameterConstraintNode = (typeNode, binding) => {
-    if (!ts.isTypeReferenceNode(typeNode) ||
-        !ts.isIdentifier(typeNode.typeName)) {
-        return undefined;
-    }
-    const declId = binding.resolveTypeReference(typeNode);
-    if (!declId)
-        return undefined;
-    const declInfo = binding
-        ._getHandleRegistry()
-        .getDecl(declId);
-    const declNode = (declInfo?.typeDeclNode ?? declInfo?.declNode);
-    if (!declNode || !ts.isTypeParameterDeclaration(declNode)) {
-        return undefined;
-    }
-    return declNode.constraint;
-};
-const withTypeParameterConstraint = (typeNode, binding) => getTypeParameterConstraintNode(typeNode, binding) ?? typeNode;
-const getMembersFromType = (type) => {
-    if (type.kind === "objectType")
-        return type.members;
-    if (type.kind === "referenceType" && type.structuralMembers) {
-        return type.structuralMembers;
-    }
-    return undefined;
-};
-const memberValueType = (member) => member.kind === "propertySignature"
-    ? member.type
-    : {
-        kind: "functionType",
-        parameters: member.parameters,
-        returnType: member.returnType ?? { kind: "voidType" },
-    };
-const typesSyntacticallyEqual = (left, right) => JSON.stringify(left) === JSON.stringify(right);
-function buildFunctionTypeFromSignatureDeclaration(declaration, binding) {
-    return {
-        kind: "functionType",
-        parameters: declaration.parameters.map((parameter) => ({
-            kind: "parameter",
-            pattern: ts.isIdentifier(parameter.name)
-                ? { kind: "identifierPattern", name: parameter.name.text }
-                : { kind: "identifierPattern", name: `p${parameter.pos}` },
-            type: parameter.type
-                ? convertType(withTypeParameterConstraint(parameter.type, binding), binding)
-                : { kind: "unknownType" },
-            isOptional: !!parameter.questionToken || !!parameter.initializer,
-            isRest: !!parameter.dotDotDotToken,
-            passing: "value",
-        })),
-        returnType: declaration.type
-            ? convertType(withTypeParameterConstraint(declaration.type, binding), binding)
-            : { kind: "voidType" },
-    };
-}
-function inferTypeFromValueDeclaration(declaration, binding, seenDeclIds) {
-    if (!declaration)
-        return undefined;
-    if (ts.isFunctionDeclaration(declaration) ||
-        ts.isMethodDeclaration(declaration)) {
-        return buildFunctionTypeFromSignatureDeclaration(declaration, binding);
-    }
-    if (ts.isVariableDeclaration(declaration)) {
-        if (declaration.type) {
-            return convertType(withTypeParameterConstraint(declaration.type, binding), binding);
-        }
-        if (declaration.initializer) {
-            return inferTypeFromValueExpression(declaration.initializer, binding, seenDeclIds);
-        }
-        return undefined;
-    }
-    if (ts.isFunctionExpression(declaration) ||
-        ts.isArrowFunction(declaration) ||
-        ts.isGetAccessorDeclaration(declaration) ||
-        ts.isSetAccessorDeclaration(declaration)) {
-        return buildFunctionTypeFromSignatureDeclaration(declaration, binding);
-    }
-    if ((ts.isClassDeclaration(declaration) ||
-        ts.isInterfaceDeclaration(declaration)) &&
-        declaration.name) {
-        return { kind: "referenceType", name: declaration.name.text };
-    }
-    return undefined;
-}
-function inferTypeFromObjectLiteral(node, binding, seenDeclIds) {
-    const members = [];
-    for (const property of node.properties) {
-        if (ts.isPropertyAssignment(property)) {
-            const name = ts.isIdentifier(property.name) ||
-                ts.isStringLiteral(property.name) ||
-                ts.isNumericLiteral(property.name)
-                ? property.name.text
-                : undefined;
-            if (!name)
-                return undefined;
-            const inferredType = inferTypeFromValueExpression(property.initializer, binding, seenDeclIds);
-            if (!inferredType)
-                return undefined;
-            members.push({
-                kind: "propertySignature",
-                name,
-                type: inferredType,
-                isReadonly: false,
-                isOptional: false,
-            });
-            continue;
-        }
-        if (ts.isShorthandPropertyAssignment(property)) {
-            const name = property.name.text;
-            const declId = binding.resolveShorthandAssignment(property);
-            if (!declId)
-                return undefined;
-            if (seenDeclIds.has(declId.id))
-                return undefined;
-            seenDeclIds.add(declId.id);
-            const declInfo = binding
-                ._getHandleRegistry()
-                .getDecl(declId);
-            const inferredType = inferTypeFromValueDeclaration((declInfo?.declNode ??
-                declInfo?.valueDeclNode ??
-                declInfo?.typeDeclNode), binding, seenDeclIds);
-            seenDeclIds.delete(declId.id);
-            if (!inferredType)
-                return undefined;
-            members.push({
-                kind: "propertySignature",
-                name,
-                type: inferredType,
-                isReadonly: false,
-                isOptional: false,
-            });
-            continue;
-        }
-        if (ts.isMethodDeclaration(property)) {
-            const name = property.name &&
-                (ts.isIdentifier(property.name) ||
-                    ts.isStringLiteral(property.name) ||
-                    ts.isNumericLiteral(property.name))
-                ? property.name.text
-                : undefined;
-            if (!name)
-                return undefined;
-            members.push({
-                kind: "methodSignature",
-                name,
-                parameters: buildFunctionTypeFromSignatureDeclaration(property, binding)
-                    .parameters,
-                returnType: property.type
-                    ? convertType(withTypeParameterConstraint(property.type, binding), binding)
-                    : { kind: "voidType" },
-                typeParameters: property.typeParameters?.map((typeParameter) => ({
-                    kind: "typeParameter",
-                    name: typeParameter.name.text,
-                })),
-            });
-            continue;
-        }
-        return undefined;
-    }
-    return { kind: "objectType", members };
-}
-function inferTypeFromValueExpression(expression, binding, seenDeclIds) {
-    let current = expression;
-    while (ts.isParenthesizedExpression(current) ||
-        ts.isNonNullExpression(current)) {
-        current = current.expression;
-    }
-    if (ts.isAsExpression(current) || ts.isTypeAssertionExpression(current)) {
-        return convertType(withTypeParameterConstraint(current.type, binding), binding);
-    }
-    if (ts.isStringLiteral(current)) {
-        return { kind: "primitiveType", name: "string" };
-    }
-    if (ts.isNumericLiteral(current)) {
-        return { kind: "primitiveType", name: "number" };
-    }
-    if (current.kind === ts.SyntaxKind.TrueKeyword ||
-        current.kind === ts.SyntaxKind.FalseKeyword) {
-        return { kind: "primitiveType", name: "boolean" };
-    }
-    if (current.kind === ts.SyntaxKind.NullKeyword) {
-        return { kind: "primitiveType", name: "null" };
-    }
-    if (ts.isIdentifier(current)) {
-        const declId = binding.resolveIdentifier(current);
-        if (!declId || seenDeclIds.has(declId.id))
-            return undefined;
-        seenDeclIds.add(declId.id);
-        const declInfo = binding
-            ._getHandleRegistry()
-            .getDecl(declId);
-        const inferredType = inferTypeFromValueDeclaration((declInfo?.declNode ??
-            declInfo?.valueDeclNode ??
-            declInfo?.typeDeclNode), binding, seenDeclIds);
-        seenDeclIds.delete(declId.id);
-        return inferredType;
-    }
-    if (ts.isCallExpression(current)) {
-        const signatureId = binding.resolveCallSignature(current);
-        const signature = signatureId
-            ? binding
-                ._getHandleRegistry()
-                .getSignature(signatureId)
-            : undefined;
-        if (signature?.returnTypeNode) {
-            return convertType(withTypeParameterConstraint(signature.returnTypeNode, binding), binding);
-        }
-        return undefined;
-    }
-    if (ts.isAwaitExpression(current)) {
-        const awaitedType = inferTypeFromValueExpression(current.expression, binding, seenDeclIds);
-        if (!awaitedType)
-            return undefined;
-        const unwrapAwaitedType = (type) => {
-            if (type.kind === "unionType") {
-                return toUnionOrSingle(type.types.map((member) => unwrapAwaitedType(member)));
-            }
-            if (type.kind === "referenceType" &&
-                type.typeArguments &&
-                type.typeArguments.length >= 1) {
-                const promiseLikeName = type.typeId?.tsName ?? type.name.split(".").pop() ?? type.name;
-                if (promiseLikeName === "Promise" ||
-                    promiseLikeName === "PromiseLike" ||
-                    promiseLikeName === "Promise_1" ||
-                    promiseLikeName === "PromiseLike_1") {
-                    const innerType = type.typeArguments[0];
-                    return innerType
-                        ? unwrapAwaitedType(innerType)
-                        : { kind: "unknownType" };
-                }
-            }
-            return type;
-        };
-        return unwrapAwaitedType(awaitedType);
-    }
-    if (ts.isArrayLiteralExpression(current)) {
-        if (current.elements.some(ts.isSpreadElement)) {
-            return undefined;
-        }
-        const elementTypes = current.elements
-            .map((element) => inferTypeFromValueExpression(element, binding, seenDeclIds))
-            .filter((element) => element !== undefined);
-        if (elementTypes.length !== current.elements.length) {
-            return undefined;
-        }
-        if (elementTypes.length === 0) {
-            return { kind: "arrayType", elementType: { kind: "unknownType" } };
-        }
-        const first = elementTypes[0];
-        if (first &&
-            elementTypes.every((element) => typesSyntacticallyEqual(element, first))) {
-            return { kind: "arrayType", elementType: first };
-        }
-        return { kind: "tupleType", elementTypes };
-    }
-    if (ts.isObjectLiteralExpression(current)) {
-        return inferTypeFromObjectLiteral(current, binding, seenDeclIds);
-    }
-    if (ts.isPropertyAccessExpression(current)) {
-        const receiverType = inferTypeFromValueExpression(current.expression, binding, seenDeclIds);
-        const members = receiverType ? getMembersFromType(receiverType) : undefined;
-        const member = members?.find((candidate) => candidate.name === current.name.text);
-        return member ? memberValueType(member) : undefined;
-    }
-    if (ts.isElementAccessExpression(current)) {
-        const receiverType = inferTypeFromValueExpression(current.expression, binding, seenDeclIds);
-        if (!receiverType)
-            return undefined;
-        if (receiverType.kind === "arrayType") {
-            return receiverType.elementType;
-        }
-        if (receiverType.kind === "tupleType") {
-            if (current.argumentExpression &&
-                ts.isNumericLiteral(current.argumentExpression)) {
-                const index = Number.parseInt(current.argumentExpression.text, 10);
-                return receiverType.elementTypes[index];
-            }
-            return toUnionOrSingle(receiverType.elementTypes);
-        }
-        if (receiverType.kind === "dictionaryType") {
-            return receiverType.valueType;
-        }
-    }
-    return undefined;
-}
-const resolveKeyofFromType = (type) => {
-    if (type.kind === "unionType") {
-        // TS semantics for keyof unions are intersection-like; for deterministic AOT
-        // lowering we conservatively use the union of keys from all members.
-        const memberKeys = type.types.map((member) => resolveKeyofFromType(member));
-        return toUnionOrSingle(memberKeys);
-    }
-    const members = getMembersFromType(type);
-    if (members && members.length > 0) {
-        return toUnionOrSingle(members.map((m) => ({ kind: "literalType", value: m.name })));
-    }
-    if (type.kind === "dictionaryType") {
-        if (type.keyType.kind === "primitiveType" &&
-            type.keyType.name === "string") {
-            return toUnionOrSingle([
-                { kind: "primitiveType", name: "string" },
-                { kind: "primitiveType", name: "number" },
-            ]);
-        }
-        return type.keyType;
-    }
-    if (type.kind === "arrayType" || type.kind === "tupleType") {
-        return { kind: "primitiveType", name: "number" };
-    }
-    if (type.kind === "typeParameterType") {
-        return toUnionOrSingle([
-            { kind: "primitiveType", name: "string" },
-            { kind: "primitiveType", name: "number" },
-            { kind: "referenceType", name: "object" },
-        ]);
-    }
-    return { kind: "unknownType" };
-};
-const lookupMemberTypeByKey = (type, key) => {
-    if (type.kind === "tupleType") {
-        const index = Number(key);
-        if (Number.isInteger(index) &&
-            index >= 0 &&
-            index < type.elementTypes.length) {
-            const element = type.elementTypes[index];
-            return element ?? undefined;
-        }
-        return undefined;
-    }
-    if (type.kind === "arrayType") {
-        const index = Number(key);
-        if (Number.isInteger(index))
-            return type.elementType;
-        return undefined;
-    }
-    const members = getMembersFromType(type);
-    if (!members || members.length === 0)
-        return undefined;
-    const hits = members.filter((m) => m.name === key).map(memberValueType);
-    if (hits.length === 0)
-        return undefined;
-    return toUnionOrSingle(hits);
-};
-const resolveIndexedAccessFromTypes = (objectType, indexType) => {
-    if (objectType.kind === "unionType") {
-        return toUnionOrSingle(objectType.types.map((member) => resolveIndexedAccessFromTypes(member, indexType)));
-    }
-    if (indexType.kind === "unionType") {
-        return toUnionOrSingle(indexType.types.map((member) => resolveIndexedAccessFromTypes(objectType, member)));
-    }
-    if (indexType.kind === "literalType") {
-        const key = String(indexType.value);
-        const hit = lookupMemberTypeByKey(objectType, key);
-        if (hit)
-            return hit;
-        if (objectType.kind === "dictionaryType") {
-            return objectType.valueType;
-        }
-        if (objectType.kind === "arrayType" &&
-            typeof indexType.value === "number") {
-            return objectType.elementType;
-        }
-        if (objectType.kind === "tupleType" &&
-            typeof indexType.value === "number") {
-            const element = objectType.elementTypes[indexType.value];
-            return element ?? { kind: "unknownType" };
-        }
-        return { kind: "unknownType" };
-    }
-    if (indexType.kind === "primitiveType") {
-        if (objectType.kind === "dictionaryType" &&
-            (indexType.name === "string" ||
-                indexType.name === "number" ||
-                indexType.name === "int")) {
-            return objectType.valueType;
-        }
-        if (objectType.kind === "arrayType" &&
-            (indexType.name === "number" || indexType.name === "int")) {
-            return objectType.elementType;
-        }
-        if (objectType.kind === "tupleType" &&
-            (indexType.name === "number" || indexType.name === "int")) {
-            return toUnionOrSingle(objectType.elementTypes);
-        }
-        const members = getMembersFromType(objectType);
-        if (members && members.length > 0) {
-            return toUnionOrSingle(members.map(memberValueType));
-        }
-        return { kind: "unknownType" };
-    }
-    if (indexType.kind === "typeParameterType" ||
-        indexType.kind === "unknownType") {
-        if (objectType.kind === "dictionaryType") {
-            return objectType.valueType;
-        }
-        const members = getMembersFromType(objectType);
-        if (members && members.length > 0) {
-            return toUnionOrSingle(members.map(memberValueType));
-        }
-        return { kind: "unknownType" };
-    }
-    return { kind: "unknownType" };
-};
-const finiteTemplateTypeStrings = (type) => {
-    if (type.kind === "literalType") {
-        return [String(type.value)];
-    }
-    if (type.kind === "unionType") {
-        const all = [];
-        for (const member of type.types) {
-            const expanded = finiteTemplateTypeStrings(member);
-            if (!expanded)
-                return undefined;
-            all.push(...expanded);
-        }
-        return all;
-    }
-    return undefined;
-};
-const convertTemplateLiteralType = (node, binding, convertTypeFn) => {
-    const MAX_COMBINATIONS = 64;
-    let current = [node.head.text];
-    for (const span of node.templateSpans) {
-        const options = finiteTemplateTypeStrings(convertTypeFn(span.type, binding));
-        if (!options || options.length === 0) {
-            return { kind: "primitiveType", name: "string" };
-        }
-        const next = [];
-        for (const prefix of current) {
-            for (const option of options) {
-                next.push(`${prefix}${option}${span.literal.text}`);
-                if (next.length > MAX_COMBINATIONS) {
-                    return { kind: "primitiveType", name: "string" };
-                }
-            }
-        }
-        current = next;
-    }
-    return toUnionOrSingle(current.map((value) => ({ kind: "literalType", value })));
-};
+import { toUnionOrSingle, resolveKeyofFromType, resolveIndexedAccessFromTypes, convertTemplateLiteralType, } from "./type-operators.js";
+import { getTypeParameterConstraintNode, withTypeParameterConstraint, inferTypeFromValueDeclaration, } from "./value-inference.js";
 /**
  * Convert TypeScript type node to IR type
  */
+const POLYMORPHIC_THIS_MARKER = "__tsonic_polymorphic_this";
 export const convertType = (typeNode, binding) => {
     // Heritage clause type syntax (`extends Foo<T>`, `implements Bar<U>`) is represented
     // as ExpressionWithTypeArguments in the TS AST. This must be treated like a normal
@@ -507,6 +53,12 @@ export const convertType = (typeNode, binding) => {
     if (ts.isTypeReferenceNode(typeNode)) {
         return convertTypeReference(typeNode, binding, convertType);
     }
+    if (ts.isThisTypeNode(typeNode)) {
+        return {
+            kind: "typeParameterType",
+            name: POLYMORPHIC_THIS_MARKER,
+        };
+    }
     // Primitive keywords
     const primitiveType = convertPrimitiveKeyword(typeNode.kind);
     if (primitiveType) {
@@ -523,6 +75,9 @@ export const convertType = (typeNode, binding) => {
             (ts.isNamedTupleMember(el) &&
                 (el.dotDotDotToken !== undefined || ts.isRestTypeNode(el.type))));
         if (hasRest) {
+            const restIndex = typeNode.elements.findIndex((el) => ts.isRestTypeNode(el) ||
+                (ts.isNamedTupleMember(el) &&
+                    (el.dotDotDotToken !== undefined || ts.isRestTypeNode(el.type))));
             const elementTypes = [];
             for (const element of typeNode.elements) {
                 if (ts.isNamedTupleMember(element)) {
@@ -590,10 +145,67 @@ export const convertType = (typeNode, binding) => {
                 }
                 elementTypes.push(convertType(element, binding));
             }
+            const hasRepresentableSpreadMetadata = restIndex >= 0 &&
+                typeNode.elements
+                    .slice(restIndex + 1)
+                    .every((element) => ts.isRestTypeNode(element) ||
+                    (ts.isNamedTupleMember(element) &&
+                        (element.dotDotDotToken !== undefined ||
+                            ts.isRestTypeNode(element.type))));
+            const tuplePrefixElementTypes = hasRepresentableSpreadMetadata
+                ? typeNode.elements.slice(0, restIndex).flatMap((element) => {
+                    if (ts.isNamedTupleMember(element)) {
+                        return [convertType(element.type, binding)];
+                    }
+                    if (ts.isRestTypeNode(element)) {
+                        return [];
+                    }
+                    return [convertType(element, binding)];
+                })
+                : undefined;
+            const tupleRestElementType = hasRepresentableSpreadMetadata
+                ? (() => {
+                    const restElement = typeNode.elements[restIndex];
+                    if (!restElement)
+                        return undefined;
+                    if (ts.isNamedTupleMember(restElement)) {
+                        const restType = ts.isRestTypeNode(restElement.type)
+                            ? restElement.type.type
+                            : restElement.type;
+                        if (ts.isArrayTypeNode(restType)) {
+                            return convertType(restType.elementType, binding);
+                        }
+                        if (ts.isTupleTypeNode(restType)) {
+                            const nestedRest = restType.elements.find((nestedElement) => ts.isRestTypeNode(nestedElement));
+                            if (nestedRest && ts.isArrayTypeNode(nestedRest.type)) {
+                                return convertType(nestedRest.type.elementType, binding);
+                            }
+                        }
+                        return undefined;
+                    }
+                    if (ts.isRestTypeNode(restElement)) {
+                        const restType = restElement.type;
+                        if (ts.isArrayTypeNode(restType)) {
+                            return convertType(restType.elementType, binding);
+                        }
+                        if (ts.isTupleTypeNode(restType)) {
+                            const nestedRest = restType.elements.find((nestedElement) => ts.isRestTypeNode(nestedElement));
+                            if (nestedRest && ts.isArrayTypeNode(nestedRest.type)) {
+                                return convertType(nestedRest.type.elementType, binding);
+                            }
+                        }
+                    }
+                    return undefined;
+                })()
+                : undefined;
             return {
                 kind: "arrayType",
                 elementType: toUnionOrSingle(elementTypes),
                 origin: "explicit",
+                ...((tuplePrefixElementTypes?.length ?? 0) > 0
+                    ? { tuplePrefixElementTypes }
+                    : {}),
+                ...(tupleRestElementType ? { tupleRestElementType } : {}),
             };
         }
         const elementTypes = typeNode.elements.map((element) => {
@@ -609,6 +221,11 @@ export const convertType = (typeNode, binding) => {
     if (ts.isFunctionTypeNode(typeNode)) {
         return convertFunctionType(typeNode, binding, convertType);
     }
+    // Constructor types project to their constructed value type.
+    // Static-side members are preserved separately by enclosing intersections.
+    if (ts.isConstructorTypeNode(typeNode)) {
+        return convertType(typeNode.type, binding);
+    }
     // Object/interface types
     if (ts.isTypeLiteralNode(typeNode)) {
         return convertObjectType(typeNode, binding, convertType);
@@ -692,7 +309,7 @@ export const convertType = (typeNode, binding) => {
                     .getDecl(declId);
                 const inferred = inferTypeFromValueDeclaration((declInfo?.declNode ??
                     declInfo?.valueDeclNode ??
-                    declInfo?.typeDeclNode), binding, new Set([declId.id]));
+                    declInfo?.typeDeclNode), binding, new Set([declId.id]), convertType);
                 if (inferred) {
                     return inferred;
                 }