@tsonic/frontend 0.0.14 → 0.0.15

package/dist/types/diagnostic.js

@@ -9,7 +9,8 @@ export const createDiagnostic = (code, severity, message, location, hint, relate
     hint,
     relatedLocations,
 });
-export const isError = (diagnostic) => diagnostic.severity === "error";
+export const isError = (diagnostic) => diagnostic.severity === "error" || diagnostic.severity === "fatal";
+export const isFatal = (diagnostic) => diagnostic.severity === "fatal";
 export const formatDiagnostic = (diagnostic) => {
     const parts = [];
     if (diagnostic.location) {
@@ -25,13 +26,16 @@ export const formatDiagnostic = (diagnostic) => {
 export const createDiagnosticsCollector = () => ({
     diagnostics: [],
     hasErrors: false,
+    hasFatalErrors: false,
 });
 export const addDiagnostic = (collector, diagnostic) => ({
     diagnostics: [...collector.diagnostics, diagnostic],
     hasErrors: collector.hasErrors || isError(diagnostic),
+    hasFatalErrors: collector.hasFatalErrors || isFatal(diagnostic),
 });
 export const mergeDiagnostics = (collector1, collector2) => ({
     diagnostics: [...collector1.diagnostics, ...collector2.diagnostics],
     hasErrors: collector1.hasErrors || collector2.hasErrors,
+    hasFatalErrors: collector1.hasFatalErrors || collector2.hasFatalErrors,
 });
 //# sourceMappingURL=diagnostic.js.map

package/dist/types/diagnostic.js.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../src/types/diagnostic.ts"],"names":[],"mappings":"AAAA;;GAEG;AA8GH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAoB,EACpB,QAA4B,EAC5B,OAAe,EACf,QAAyB,EACzB,IAAa,EACb,gBAA4C,EAChC,EAAE,CAAC,CAAC;IAChB,IAAI;IACJ,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,IAAI;IACJ,gBAAgB;CACjB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,UAAsB,EAAW,EAAE,CACzD,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC;AAElC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,UAAsB,EAAU,EAAE;IACjE,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CACxF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAE/B,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC,CAAC;AAOF,MAAM,CAAC,MAAM,0BAA0B,GAAG,GAAyB,EAAE,CAAC,CAAC;IACrE,WAAW,EAAE,EAAE;IACf,SAAS,EAAE,KAAK;CACjB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,SAA+B,EAC/B,UAAsB,EACA,EAAE,CAAC,CAAC;IAC1B,WAAW,EAAE,CAAC,GAAG,SAAS,CAAC,WAAW,EAAE,UAAU,CAAC;IACnD,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,OAAO,CAAC,UAAU,CAAC;CACtD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,UAAgC,EAChC,UAAgC,EACV,EAAE,CAAC,CAAC;IAC1B,WAAW,EAAE,CAAC,GAAG,UAAU,CAAC,WAAW,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC;IACnE,SAAS,EAAE,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,SAAS;CACxD,CAAC,CAAC"}
+{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../src/types/diagnostic.ts"],"names":[],"mappings":"AAAA;;GAEG;AAmIH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAoB,EACpB,QAA4B,EAC5B,OAAe,EACf,QAAyB,EACzB,IAAa,EACb,gBAA4C,EAChC,EAAE,CAAC,CAAC;IAChB,IAAI;IACJ,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,IAAI;IACJ,gBAAgB;CACjB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,UAAsB,EAAW,EAAE,CACzD,UAAU,CAAC,QAAQ,KAAK,OAAO,IAAI,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC;AAErE,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,UAAsB,EAAW,EAAE,CACzD,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC;AAElC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,UAAsB,EAAU,EAAE;IACjE,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CACxF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAE/B,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC,CAAC;AAQF,MAAM,CAAC,MAAM,0BAA0B,GAAG,GAAyB,EAAE,CAAC,CAAC;IACrE,WAAW,EAAE,EAAE;IACf,SAAS,EAAE,KAAK;IAChB,cAAc,EAAE,KAAK;CACtB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,SAA+B,EAC/B,UAAsB,EACA,EAAE,CAAC,CAAC;IAC1B,WAAW,EAAE,CAAC,GAAG,SAAS,CAAC,WAAW,EAAE,UAAU,CAAC;IACnD,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,OAAO,CAAC,UAAU,CAAC;IACrD,cAAc,EAAE,SAAS,CAAC,cAAc,IAAI,OAAO,CAAC,UAAU,CAAC;CAChE,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,UAAgC,EAChC,UAAgC,EACV,EAAE,CAAC,CAAC;IAC1B,WAAW,EAAE,CAAC,GAAG,UAAU,CAAC,WAAW,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC;IACnE,SAAS,EAAE,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,SAAS;IACvD,cAAc,EAAE,UAAU,CAAC,cAAc,IAAI,UAAU,CAAC,cAAc;CACvE,CAAC,CAAC"}

package/dist/validation/extension-methods.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Extension method validation
+ *
+ * `thisarg<T>` marks the receiver parameter of a C# extension method.
+ *
+ * Airplane-grade constraints:
+ * - Exactly one receiver parameter
+ * - Must be the first parameter
+ * - Only valid on top-level function declarations (emitted into a static container class)
+ * - Receiver cannot be optional/rest/destructured/initialized
+ * - Receiver cannot be `out`
+ */
+import * as ts from "typescript";
+import { TsonicProgram } from "../program.js";
+import { DiagnosticsCollector } from "../types/diagnostic.js";
+export declare const validateExtensionMethods: (sourceFile: ts.SourceFile, _program: TsonicProgram, collector: DiagnosticsCollector) => DiagnosticsCollector;
+//# sourceMappingURL=extension-methods.d.ts.map

package/dist/validation/extension-methods.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extension-methods.d.ts","sourceRoot":"","sources":["../../src/validation/extension-methods.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AA0FhC,eAAO,MAAM,wBAAwB,GACnC,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,aAAa,EACvB,WAAW,oBAAoB,KAC9B,oBA2HF,CAAC"}

package/dist/validation/extension-methods.js

@@ -0,0 +1,133 @@
+/**
+ * Extension method validation
+ *
+ * `thisarg<T>` marks the receiver parameter of a C# extension method.
+ *
+ * Airplane-grade constraints:
+ * - Exactly one receiver parameter
+ * - Must be the first parameter
+ * - Only valid on top-level function declarations (emitted into a static container class)
+ * - Receiver cannot be optional/rest/destructured/initialized
+ * - Receiver cannot be `out`
+ */
+import * as ts from "typescript";
+import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
+import { getNodeLocation } from "./helpers.js";
+const unwrapWrapperType = (typeNode) => {
+    if (!ts.isTypeReferenceNode(typeNode))
+        return undefined;
+    if (!typeNode.typeArguments || typeNode.typeArguments.length !== 1)
+        return undefined;
+    if (!ts.isIdentifier(typeNode.typeName))
+        return undefined;
+    const inner = typeNode.typeArguments[0];
+    if (!inner)
+        return undefined;
+    return {
+        wrapperName: typeNode.typeName.text,
+        inner,
+        node: typeNode,
+    };
+};
+const getReceiverMarkerInfo = (typeNode) => {
+    if (!typeNode)
+        return undefined;
+    let current = typeNode;
+    let markerNode;
+    let passing = "value";
+    // Mirror IR conversion unwrapping rules:
+    // wrappers may be nested; unwrap repeatedly.
+    while (true) {
+        if (ts.isParenthesizedTypeNode(current)) {
+            current = current.type;
+            continue;
+        }
+        const unwrapped = unwrapWrapperType(current);
+        if (!unwrapped)
+            break;
+        const { wrapperName, inner, node } = unwrapped;
+        if (wrapperName === "thisarg") {
+            markerNode ?? (markerNode = node);
+            current = inner;
+            continue;
+        }
+        if (wrapperName === "ref" || wrapperName === "out") {
+            passing = wrapperName;
+            current = inner;
+            continue;
+        }
+        if (wrapperName === "in" || wrapperName === "inref") {
+            passing = "in";
+            current = inner;
+            continue;
+        }
+        break;
+    }
+    if (!markerNode)
+        return undefined;
+    return { markerNode, passing };
+};
+const addReceiverDiagnostic = (sourceFile, collector, node, message, hint) => addDiagnostic(collector, createDiagnostic("TSN7106", "error", message, getNodeLocation(sourceFile, node), hint));
+export const validateExtensionMethods = (sourceFile, _program, collector) => {
+    const visitor = (node) => {
+        // Only check function-like nodes (where parameters exist).
+        if (ts.isFunctionDeclaration(node) ||
+            ts.isMethodDeclaration(node) ||
+            ts.isMethodSignature(node) ||
+            ts.isFunctionExpression(node) ||
+            ts.isArrowFunction(node)) {
+            const receiverParams = node.parameters
+                .map((p, index) => ({
+                param: p,
+                index,
+                info: getReceiverMarkerInfo(p.type),
+            }))
+                .filter((p) => p.info !== undefined);
+            if (receiverParams.length > 0) {
+                // Only allow on top-level function declarations.
+                const isTopLevelFunctionDecl = ts.isFunctionDeclaration(node) && node.parent === sourceFile;
+                if (!isTopLevelFunctionDecl) {
+                    for (const p of receiverParams) {
+                        collector = addReceiverDiagnostic(sourceFile, collector, p.info.markerNode, "`thisarg<T>` is only valid on top-level function declarations (C# extension methods).", "Move the function to module scope (top-level) and declare it with `export function ...`.");
+                    }
+                    // Still recurse to find additional violations in nested scopes.
+                    ts.forEachChild(node, visitor);
+                    return;
+                }
+                if (receiverParams.length > 1) {
+                    for (const p of receiverParams.slice(1)) {
+                        collector = addReceiverDiagnostic(sourceFile, collector, p.info.markerNode, "Only one `thisarg<T>` receiver parameter is allowed.");
+                    }
+                }
+                const receiver = receiverParams[0];
+                if (!receiver) {
+                    ts.forEachChild(node, visitor);
+                    return;
+                }
+                if (receiver.index !== 0) {
+                    collector = addReceiverDiagnostic(sourceFile, collector, receiver.info.markerNode, "The `thisarg<T>` receiver parameter must be the first parameter.");
+                }
+                if (ts.isObjectBindingPattern(receiver.param.name) ||
+                    ts.isArrayBindingPattern(receiver.param.name)) {
+                    collector = addReceiverDiagnostic(sourceFile, collector, receiver.param.name, "The `thisarg<T>` receiver parameter must be a simple identifier (no destructuring).");
+                }
+                if (receiver.param.dotDotDotToken) {
+                    collector = addReceiverDiagnostic(sourceFile, collector, receiver.param.dotDotDotToken, "The `thisarg<T>` receiver parameter cannot be a rest parameter.");
+                }
+                if (receiver.param.questionToken) {
+                    collector = addReceiverDiagnostic(sourceFile, collector, receiver.param.questionToken, "The `thisarg<T>` receiver parameter cannot be optional.");
+                }
+                if (receiver.param.initializer) {
+                    collector = addReceiverDiagnostic(sourceFile, collector, receiver.param.initializer, "The `thisarg<T>` receiver parameter cannot have a default initializer.");
+                }
+                if (receiver.info.passing === "out") {
+                    collector = addReceiverDiagnostic(sourceFile, collector, receiver.info.markerNode, "The `thisarg<T>` receiver parameter cannot be `out`.");
+                }
+            }
+        }
+        ts.forEachChild(node, visitor);
+    };
+    visitor(sourceFile);
+    return collector;
+};
+//# sourceMappingURL=extension-methods.js.map

package/dist/validation/extension-methods.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extension-methods.js","sourceRoot":"","sources":["../../src/validation/extension-methods.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAO/C,MAAM,iBAAiB,GAAG,CACxB,QAAqB,EAC2F,EAAE;IAClH,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACxD,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACrF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAE1D,MAAM,KAAK,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,OAAO;QACL,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI;QACnC,KAAK;QACL,IAAI,EAAE,QAAQ;KACf,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,QAAiC,EACD,EAAE;IAClC,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,IAAI,OAAO,GAAgB,QAAQ,CAAC;IACpC,IAAI,UAA4C,CAAC;IACjD,IAAI,OAAO,GAAmC,OAAO,CAAC;IAEtD,yCAAyC;IACzC,6CAA6C;IAC7C,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;YACxC,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;YACvB,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,CAAC,SAAS;YAAE,MAAM;QAEtB,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;QAE/C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,UAAU,KAAV,UAAU,GAAK,IAAI,EAAC;YACpB,OAAO,GAAG,KAAK,CAAC;YAChB,SAAS;QACX,CAAC;QAED,IAAI,WAAW,KAAK,KAAK,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;YACnD,OAAO,GAAG,WAAW,CAAC;YACtB,OAAO,GAAG,KAAK,CAAC;YAChB,SAAS;QACX,CAAC;QAED,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,OAAO,EAAE,CAAC;YACpD,OAAO,GAAG,IAAI,CAAC;YACf,OAAO,GAAG,KAAK,CAAC;YAChB,SAAS;QACX,CAAC;QAED,MAAM;IACR,CAAC;IAED,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,UAAyB,EACzB,SAA+B,EAC/B,IAAa,EACb,OAAe,EACf,IAAa,EACS,EAAE,CACxB,aAAa,CACX,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,OAAO,EACP,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,IAAI,CACL,CACF,CAAC;AAEJ,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,UAAyB,EACzB,QAAuB,EACvB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,2DAA2D;QAC3D,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAC7B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EACxB,CAAC;YACD,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU;iBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClB,KAAK,EAAE,CAAC;gBACR,KAAK;gBACL,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC;aACpC,CAAC,CAAC;iBACF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAInC,CAAC;YAEH,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9B,iDAAiD;gBACjD,MAAM,sBAAsB,GAC1B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC;gBAE/D,IAAI,CAAC,sBAAsB,EAAE,CAAC;oBAC5B,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;wBAC/B,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,CAAC,CAAC,IAAI,CAAC,UAAU,EACjB,uFAAuF,EACvF,0FAA0F,CAC3F,CAAC;oBACJ,CAAC;oBACD,gEAAgE;oBAChE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC/B,OAAO;gBACT,CAAC;gBAED,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC9B,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;wBACxC,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,CAAC,CAAC,IAAI,CAAC,UAAU,EACjB,sDAAsD,CACvD,CAAC;oBACJ,CAAC;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;gBACnC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC/B,OAAO;gBACT,CAAC;gBAED,IAAI,QAAQ,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;oBACzB,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,IAAI,CAAC,UAAU,EACxB,kEAAkE,CACnE,CAAC;gBACJ,CAAC;gBAED,IACE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;oBAC9C,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAC7C,CAAC;oBACD,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,KAAK,CAAC,IAAI,EACnB,qFAAqF,CACtF,CAAC;gBACJ,CAAC;gBAED,IAAI,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;oBAClC,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,KAAK,CAAC,cAAc,EAC7B,iEAAiE,CAClE,CAAC;gBACJ,CAAC;gBAED,IAAI,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;oBACjC,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,KAAK,CAAC,aAAa,EAC5B,yDAAyD,CAC1D,CAAC;gBACJ,CAAC;gBAED,IAAI,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;oBAC/B,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,KAAK,CAAC,WAAW,EAC1B,wEAAwE,CACzE,CAAC;gBACJ,CAAC;gBAED,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;oBACpC,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,IAAI,CAAC,UAAU,EACxB,sDAAsD,CACvD,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/validation/generics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generics.d.ts","sourceRoot":"","sources":["../../src/validation/generics.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AA2JhC;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,aAAa,EACvB,WAAW,oBAAoB,KAC9B,oBAqCF,CAAC"}
+{"version":3,"file":"generics.d.ts","sourceRoot":"","sources":["../../src/validation/generics.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAErB,MAAM,wBAAwB,CAAC;AAGhC;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,aAAa,EACvB,WAAW,oBAAoB,KAC9B,oBA4BF,CAAC"}

package/dist/validation/generics.js

@@ -2,128 +2,8 @@
  * Generic type validation
  */
 import * as ts from "typescript";
-import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
+import { addDiagnostic, } from "../types/diagnostic.js";
 import { checkForSymbolIndexSignature } from "../ir/generic-validator.js";
-/**
- * Check if a type node is a null or undefined literal type
- */
-const isNullishType = (typeNode) => typeNode.kind === ts.SyntaxKind.NullKeyword ||
-    typeNode.kind === ts.SyntaxKind.UndefinedKeyword ||
-    (ts.isLiteralTypeNode(typeNode) &&
-        (typeNode.literal.kind === ts.SyntaxKind.NullKeyword ||
-            typeNode.literal.kind === ts.SyntaxKind.UndefinedKeyword));
-/**
- * Check if a type node references a type parameter.
- * Returns the type parameter name if it does, undefined otherwise.
- */
-const getTypeParameterReference = (typeNode) => {
-    if (ts.isTypeReferenceNode(typeNode) && ts.isIdentifier(typeNode.typeName)) {
-        return typeNode.typeName.text;
-    }
-    return undefined;
-};
-/**
- * Check if a type parameter has a constraint that allows nullable representation.
- * - `extends struct` → C# `where T : struct` allows T? as Nullable<T>
- * - `extends object` → C# `where T : class` allows T? as nullable reference
- * - `extends SomeClass` or `extends SomeInterface` → reference type, allows T?
- */
-const hasNullableConstraint = (tp) => {
-    if (!tp.constraint) {
-        return false;
-    }
-    // `object` keyword type - T extends object
-    // This is a TypeKeyword, not a TypeReference
-    if (tp.constraint.kind === ts.SyntaxKind.ObjectKeyword) {
-        return true;
-    }
-    // Any type reference constraint (struct, SomeClass, SomeInterface, generic type)
-    // implies the type is constrained and allows proper nullable handling
-    if (ts.isTypeReferenceNode(tp.constraint)) {
-        // This covers:
-        // - T extends struct → value type (struct is a custom type in tsonic)
-        // - T extends SomeClass → reference type
-        // - T extends SomeInterface → reference type
-        // - T extends Comparable<T> → reference type (generic constraint)
-        return true;
-    }
-    // Intersection type: T extends A & B
-    // Any intersection constraint means T is constrained
-    if (ts.isIntersectionTypeNode(tp.constraint)) {
-        return true;
-    }
-    return false;
-};
-/**
- * Get the set of UNCONSTRAINED type parameter names in scope for a node.
- * Walks up the tree to find enclosing generic declarations.
- * Only returns type parameters that don't have nullable-compatible constraints.
- */
-const getUnconstrainedTypeParametersInScope = (node) => {
-    const params = new Set();
-    let current = node;
-    while (current) {
-        // Check for type parameters on various declaration types
-        if ((ts.isInterfaceDeclaration(current) ||
-            ts.isClassDeclaration(current) ||
-            ts.isTypeAliasDeclaration(current) ||
-            ts.isFunctionDeclaration(current) ||
-            ts.isMethodDeclaration(current) ||
-            ts.isArrowFunction(current) ||
-            ts.isFunctionExpression(current)) &&
-            current.typeParameters) {
-            for (const tp of current.typeParameters) {
-                // Only add if it's truly unconstrained (no nullable-compatible constraint)
-                if (!hasNullableConstraint(tp)) {
-                    params.add(tp.name.text);
-                }
-            }
-        }
-        current = current.parent;
-    }
-    return params;
-};
-/**
- * Check for nullable unions with unconstrained generic type parameters.
- * Pattern: T | null where T is an unconstrained type parameter.
- *
- * This is unsupported because C# cannot represent nullable unconstrained generics:
- * - For value types, T? requires `where T : struct` to become Nullable<T>
- * - Without constraints, T? for a value type is just T (non-nullable)
- *
- * Returns a diagnostic if the pattern is detected, undefined otherwise.
- */
-const checkNullableGenericUnion = (typeNode, sourceFile) => {
-    if (!ts.isUnionTypeNode(typeNode)) {
-        return undefined;
-    }
-    // Check if union contains null or undefined
-    const hasNullish = typeNode.types.some(isNullishType);
-    if (!hasNullish) {
-        return undefined;
-    }
-    // Check if any non-nullish type is an UNCONSTRAINED type parameter reference
-    const unconstrainedTypeParams = getUnconstrainedTypeParametersInScope(typeNode);
-    const nonNullishTypes = typeNode.types.filter((t) => !isNullishType(t));
-    for (const memberType of nonNullishTypes) {
-        const typeParamName = getTypeParameterReference(memberType);
-        if (typeParamName && unconstrainedTypeParams.has(typeParamName)) {
-            // Found a nullable union with a type parameter
-            const start = typeNode.getStart(sourceFile);
-            const end = typeNode.getEnd();
-            const { line, character } = sourceFile.getLineAndCharacterOfPosition(start);
-            return createDiagnostic("TSN7415", "error", `Nullable union '${typeNode.getText(sourceFile)}' with unconstrained generic type parameter '${typeParamName}' cannot be represented in C#. ` +
-                `Use 'object | null' for nullable generic values, or constrain the type parameter.`, {
-                file: sourceFile.fileName,
-                line: line + 1,
-                column: character,
-                length: end - start,
-            }, `In C#, T? for an unconstrained type parameter T does not provide nullability for value types. ` +
-                `Either use 'object | null' to box the value, or if T is always a reference type, this is a limitation.`);
-        }
-    }
-    return undefined;
-};
 /**
  * Validate generic types and constraints
  */
@@ -141,14 +21,6 @@ export const validateGenerics = (sourceFile, _program, collector) => {
                 collector = addDiagnostic(collector, symbolDiag);
             }
         }
-        // Check for nullable unions with unconstrained generic type parameters - TSN7415
-        // This covers property signatures, variable declarations, function parameters, etc.
-        if (ts.isTypeNode(node)) {
-            const nullableGenericDiag = checkNullableGenericUnion(node, sourceFile);
-            if (nullableGenericDiag) {
-                collector = addDiagnostic(collector, nullableGenericDiag);
-            }
-        }
         // Explicitly visit interface and type literal members
         if (ts.isInterfaceDeclaration(node) || ts.isTypeLiteralNode(node)) {
             for (const member of node.members) {

package/dist/validation/generics.js.map

@@ -1 +1 @@
-{"version":3,"file":"generics.js","sourceRoot":"","sources":["../../src/validation/generics.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,QAAqB,EAAW,EAAE,CACvD,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;IAC3C,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAChD,CAAC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC;QAC7B,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAClD,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC;AAEjE;;;GAGG;AACH,MAAM,yBAAyB,GAAG,CAChC,QAAqB,EACD,EAAE;IACtB,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3E,OAAO,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,qBAAqB,GAAG,CAAC,EAA+B,EAAW,EAAE;IACzE,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,2CAA2C;IAC3C,6CAA6C;IAC7C,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iFAAiF;IACjF,sEAAsE;IACtE,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1C,eAAe;QACf,sEAAsE;QACtE,yCAAyC;QACzC,6CAA6C;QAC7C,kEAAkE;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,qCAAqC;IACrC,qDAAqD;IACrD,IAAI,EAAE,CAAC,sBAAsB,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,qCAAqC,GAAG,CAAC,IAAa,EAAe,EAAE;IAC3E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,OAAO,GAAwB,IAAI,CAAC;IAExC,OAAO,OAAO,EAAE,CAAC;QACf,yDAAyD;QACzD,IACE,CAAC,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;YAC9B,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC;YAClC,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;YAC/B,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;YACnC,OAAO,CAAC,cAAc,EACtB,CAAC;YACD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;gBACxC,2EAA2E;gBAC3E,IAAI,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC/B,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,yBAAyB,GAAG,CAChC,QAAqB,EACrB,UAAyB,EACwB,EAAE;IACnD,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,4CAA4C;IAC5C,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACtD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,6EAA6E;IAC7E,MAAM,uBAAuB,GAC3B,qCAAqC,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,eAAe,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAExE,KAAK,MAAM,UAAU,IAAI,eAAe,EAAE,CAAC;QACzC,MAAM,aAAa,GAAG,yBAAyB,CAAC,UAAU,CAAC,CAAC;QAC5D,IAAI,aAAa,IAAI,uBAAuB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;YAChE,+CAA+C;YAC/C,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GACvB,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC;YAElD,OAAO,gBAAgB,CACrB,SAAS,EACT,OAAO,EACP,mBAAmB,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,gDAAgD,aAAa,iCAAiC;gBAC3I,mFAAmF,EACrF;gBACE,IAAI,EAAE,UAAU,CAAC,QAAQ;gBACzB,IAAI,EAAE,IAAI,GAAG,CAAC;gBACd,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,GAAG,GAAG,KAAK;aACpB,EACD,gGAAgG;gBAC9F,wGAAwG,CAC3G,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,UAAyB,EACzB,QAAuB,EACvB,SAA+B,EACT,EAAE;IACxB,kCAAkC;IAClC,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,gCAAgC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,mEAAmE;QACnE,oCAAoC;QACpC,IAAI,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,4BAA4B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAClE,IAAI,UAAU,EAAE,CAAC;gBACf,SAAS,GAAG,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QAED,iFAAiF;QACjF,oFAAoF;QACpF,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,mBAAmB,GAAG,yBAAyB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACxE,IAAI,mBAAmB,EAAE,CAAC;gBACxB,SAAS,GAAG,aAAa,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClE,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,OAAO,CAAC,MAAM,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
+{"version":3,"file":"generics.js","sourceRoot":"","sources":["../../src/validation/generics.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAEL,aAAa,GACd,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,UAAyB,EACzB,QAAuB,EACvB,SAA+B,EACT,EAAE;IACxB,kCAAkC;IAClC,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,gCAAgC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,mEAAmE;QACnE,oCAAoC;QACpC,IAAI,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,4BAA4B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAClE,IAAI,UAAU,EAAE,CAAC;gBACf,SAAS,GAAG,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClE,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,OAAO,CAAC,MAAM,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/validation/imports.js

@@ -28,7 +28,7 @@ export const validateImportDeclaration = (node, sourceFile, program, collector)
         return addDiagnostic(collector, createDiagnostic("TSN2001", "error", "Dynamic imports not supported", getNodeLocation(sourceFile, node), "Use static import statements"));
     }
     const importPath = node.moduleSpecifier.text;
-    const result = resolveImport(importPath, sourceFile.fileName, program.options.sourceRoot, program.clrResolver);
+    const result = resolveImport(importPath, sourceFile.fileName, program.options.sourceRoot, { clrResolver: program.clrResolver, bindings: program.bindings });
     if (!result.ok) {
         const location = getNodeLocation(sourceFile, node.moduleSpecifier);
         return addDiagnostic(collector, { ...result.error, location });

package/dist/validation/imports.js.map

@@ -1 +1 @@
-{"version":3,"file":"imports.js","sourceRoot":"","sources":["../../src/validation/imports.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,CAAC,IAAa,EAAwB,EAAE;QACtD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,OAAO,yBAAyB,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QACzE,CAAC;QAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kCAAkC,EAClC,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,6BAA6B,CAC9B,CACF,CAAC;QACJ,CAAC;QAED,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,SAAS,CAAC;IACrD,CAAC,CAAC;IAEF,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAA0B,EAC1B,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;QAC9C,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,+BAA+B,EAC/B,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,8BAA8B,CAC/B,CACF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;IAC7C,MAAM,MAAM,GAAG,aAAa,CAC1B,UAAU,EACV,UAAU,CAAC,QAAQ,EACnB,OAAO,CAAC,OAAO,CAAC,UAAU,EAC1B,OAAO,CAAC,WAAW,CACpB,CAAC;IAEF,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;QACnE,OAAO,aAAa,CAAC,SAAS,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjE,CAAC;IAED,gFAAgF;IAChF,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC;QACpD,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,SAAS,EACT,6DAA6D,EAC7D,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,EAC9C,8BAA8B,CAC/B,CACF,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
+{"version":3,"file":"imports.js","sourceRoot":"","sources":["../../src/validation/imports.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,CAAC,IAAa,EAAwB,EAAE;QACtD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,OAAO,yBAAyB,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QACzE,CAAC;QAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kCAAkC,EAClC,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,6BAA6B,CAC9B,CACF,CAAC;QACJ,CAAC;QAED,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,SAAS,CAAC;IACrD,CAAC,CAAC;IAEF,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAA0B,EAC1B,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;QAC9C,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,+BAA+B,EAC/B,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,8BAA8B,CAC/B,CACF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;IAC7C,MAAM,MAAM,GAAG,aAAa,CAC1B,UAAU,EACV,UAAU,CAAC,QAAQ,EACnB,OAAO,CAAC,OAAO,CAAC,UAAU,EAC1B,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CACjE,CAAC;IAEF,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;QACnE,OAAO,aAAa,CAAC,SAAS,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjE,CAAC;IAED,gFAAgF;IAChF,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC;QACpD,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,SAAS,EACT,6DAA6D,EAC7D,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,EAC9C,8BAA8B,CAC/B,CACF,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/validation/index.d.ts

@@ -6,6 +6,7 @@ export { validateImports, validateImportDeclaration } from "./imports.js";
 export { validateExports } from "./exports.js";
 export { validateUnsupportedFeatures } from "./features.js";
 export { validateGenerics } from "./generics.js";
+export { validateExtensionMethods } from "./extension-methods.js";
 export { validateStaticSafety } from "./static-safety.js";
 export { hasExportModifier, getNodeLocation } from "./helpers.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/validation/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC"}

package/dist/validation/index.js

@@ -6,6 +6,7 @@ export { validateImports, validateImportDeclaration } from "./imports.js";
 export { validateExports } from "./exports.js";
 export { validateUnsupportedFeatures } from "./features.js";
 export { validateGenerics } from "./generics.js";
+export { validateExtensionMethods } from "./extension-methods.js";
 export { validateStaticSafety } from "./static-safety.js";
 export { hasExportModifier, getNodeLocation } from "./helpers.js";
 //# sourceMappingURL=index.js.map

package/dist/validation/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC"}

package/dist/validation/orchestrator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../src/validation/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAErB,MAAM,wBAAwB,CAAC;AAOhC;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,SAAS,aAAa,KACrB,oBAOF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBAaF,CAAC"}
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../src/validation/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAErB,MAAM,wBAAwB,CAAC;AAQhC;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,SAAS,aAAa,KACrB,oBAOF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBAcF,CAAC"}

package/dist/validation/orchestrator.js

@@ -6,6 +6,7 @@ import { validateImports } from "./imports.js";
 import { validateExports } from "./exports.js";
 import { validateUnsupportedFeatures } from "./features.js";
 import { validateGenerics } from "./generics.js";
+import { validateExtensionMethods } from "./extension-methods.js";
 import { validateStaticSafety } from "./static-safety.js";
 /**
  * Validate an entire Tsonic program
@@ -23,6 +24,7 @@ export const validateSourceFile = (sourceFile, program, collector) => {
         validateExports,
         validateUnsupportedFeatures,
         validateGenerics,
+        validateExtensionMethods,
         validateStaticSafety,
     ];
     return validationFns.reduce((acc, fn) => fn(sourceFile, program, acc), collector);

package/dist/validation/orchestrator.js.map

@@ -1 +1 @@
-{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../../src/validation/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAEL,0BAA0B,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAE1D;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,OAAsB,EACA,EAAE;IACxB,MAAM,SAAS,GAAG,0BAA0B,EAAE,CAAC;IAE/C,OAAO,OAAO,CAAC,WAAW,CAAC,MAAM,CAC/B,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,EACjE,SAAS,CACV,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,aAAa,GAAG;QACpB,eAAe;QACf,eAAe;QACf,2BAA2B;QAC3B,gBAAgB;QAChB,oBAAoB;KACrB,CAAC;IAEF,OAAO,aAAa,CAAC,MAAM,CACzB,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,EACzC,SAAS,CACV,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../../src/validation/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAEL,0BAA0B,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAE1D;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,OAAsB,EACA,EAAE;IACxB,MAAM,SAAS,GAAG,0BAA0B,EAAE,CAAC;IAE/C,OAAO,OAAO,CAAC,WAAW,CAAC,MAAM,CAC/B,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,EACjE,SAAS,CACV,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,aAAa,GAAG;QACpB,eAAe;QACf,eAAe;QACf,2BAA2B;QAC3B,gBAAgB;QAChB,wBAAwB;QACxB,oBAAoB;KACrB,CAAC;IAEF,OAAO,aAAa,CAAC,MAAM,CACzB,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,EACzC,SAAS,CACV,CAAC;AACJ,CAAC,CAAC"}

package/dist/validation/static-safety.d.ts

@@ -11,6 +11,7 @@
  * - TSN7409: 'infer' keyword not supported
  * - TSN7410: Intersection types not supported
  * - TSN7413: Dictionary key must be string or number
+ * - TSN7430: Arrow function requires explicit types (escape hatch)
  *
  * This ensures NativeAOT-compatible, predictable-performance output.
  *

package/dist/validation/static-safety.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"static-safety.d.ts","sourceRoot":"","sources":["../../src/validation/static-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AAShC;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBA0SF,CAAC"}
+{"version":3,"file":"static-safety.d.ts","sourceRoot":"","sources":["../../src/validation/static-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AA4RhC;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBAyWF,CAAC"}