@tsonic/frontend 0.0.74 → 0.0.75

package/dist/validation/contextual-type-checks.js

@@ -0,0 +1,214 @@
+/**
+ * Contextual Type Checks & Identifier Analysis
+ *
+ * AST-based contextual type detection helpers for lambdas, object literals,
+ * and array literals. Also includes generic function value identifier
+ * analysis and symbol resolution utilities.
+ */
+import * as ts from "typescript";
+/**
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * Check if a lambda is in a position where expected types provide parameter types.
+ *
+ * This replaces the old getContextualType-based inference with AST analysis.
+ * Expected types are propagated from:
+ * 1. Call arguments - the callee's parameter type provides the expected type
+ * 2. Variable initializers - the variable's type annotation provides the expected type
+ * 3. New expression arguments - the constructor's parameter type provides the expected type
+ * 4. Return statements - the function's return type provides the expected type
+ * 5. Property assignments - the object's contextual type provides the expected type
+ * 6. Nested arrow functions - body of another arrow that has expected context
+ */
+export const lambdaHasExpectedTypeContext = (lambda) => {
+    const parent = lambda.parent;
+    // Case 1: Lambda is a call argument
+    if (ts.isCallExpression(parent)) {
+        return true;
+    }
+    // Case 2: Lambda is a new expression argument
+    if (ts.isNewExpression(parent)) {
+        return true;
+    }
+    // Case 3: Lambda is assigned to a typed variable
+    if (ts.isVariableDeclaration(parent) && parent.type) {
+        return true;
+    }
+    // Case 4: Lambda is in a return statement in a function with return type
+    if (ts.isReturnStatement(parent)) {
+        const containingFunction = findContainingFunction(parent);
+        if (containingFunction && containingFunction.type) {
+            return true;
+        }
+    }
+    // Case 5: Lambda is a property value where the object has contextual type
+    if (ts.isPropertyAssignment(parent) &&
+        ts.isObjectLiteralExpression(parent.parent)) {
+        const grandparent = parent.parent.parent;
+        if (ts.isVariableDeclaration(grandparent) && grandparent.type) {
+            return true;
+        }
+        if (ts.isCallExpression(grandparent) || ts.isNewExpression(grandparent)) {
+            return true;
+        }
+    }
+    // Case 6: Lambda is an array element where the array has a type
+    if (ts.isArrayLiteralExpression(parent)) {
+        return arrayLiteralHasContextualType(parent);
+    }
+    // Case 7: Lambda is the expression body of another arrow function
+    if (ts.isArrowFunction(parent) || ts.isFunctionExpression(parent)) {
+        if (parent.body === lambda) {
+            if (parent.type) {
+                return true;
+            }
+            if (lambdaHasExpectedTypeContext(parent)) {
+                return true;
+            }
+        }
+    }
+    return false;
+};
+export const arrayLiteralHasContextualType = (node) => {
+    const parent = node.parent;
+    if (ts.isVariableDeclaration(parent) && parent.type) {
+        return true;
+    }
+    if (ts.isCallExpression(parent) || ts.isNewExpression(parent)) {
+        return true;
+    }
+    if (ts.isReturnStatement(parent)) {
+        const containingFunction = findContainingFunction(parent);
+        if (containingFunction && containingFunction.type) {
+            return true;
+        }
+    }
+    if (ts.isArrayLiteralExpression(parent)) {
+        return arrayLiteralHasContextualType(parent);
+    }
+    if (ts.isPropertyAssignment(parent) &&
+        ts.isObjectLiteralExpression(parent.parent)) {
+        return objectLiteralHasContextualType(parent.parent);
+    }
+    if (ts.isAsExpression(parent) && parent.type) {
+        return true;
+    }
+    if (ts.isSatisfiesExpression(parent) && parent.type) {
+        return true;
+    }
+    return false;
+};
+/**
+ * Find the containing function declaration/expression for a node.
+ */
+export const findContainingFunction = (node) => {
+    let current = node.parent;
+    while (current) {
+        if (ts.isFunctionDeclaration(current) ||
+            ts.isMethodDeclaration(current) ||
+            ts.isArrowFunction(current) ||
+            ts.isFunctionExpression(current)) {
+            return current;
+        }
+        current = current.parent;
+    }
+    return undefined;
+};
+/**
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * Check if an object literal is in a position where expected types are available.
+ */
+export const objectLiteralHasContextualType = (node) => {
+    const parent = node.parent;
+    if (ts.isVariableDeclaration(parent) && parent.type) {
+        return true;
+    }
+    if (ts.isCallExpression(parent)) {
+        return true;
+    }
+    if (ts.isNewExpression(parent)) {
+        return true;
+    }
+    if (ts.isReturnStatement(parent)) {
+        const containingFunction = findContainingFunction(parent);
+        if (containingFunction && containingFunction.type) {
+            return true;
+        }
+    }
+    if (ts.isPropertyAssignment(parent) &&
+        ts.isObjectLiteralExpression(parent.parent)) {
+        return objectLiteralHasContextualType(parent.parent);
+    }
+    if (ts.isArrayLiteralExpression(parent)) {
+        return arrayLiteralHasContextualType(parent);
+    }
+    if (ts.isAsExpression(parent) && parent.type) {
+        return true;
+    }
+    if (ts.isSatisfiesExpression(parent) && parent.type) {
+        return true;
+    }
+    return false;
+};
+export const isAllowedGenericFunctionValueIdentifierUse = (node, checker) => {
+    const parent = node.parent;
+    if (ts.isFunctionDeclaration(parent) && parent.name === node)
+        return true;
+    if (ts.isVariableDeclaration(parent) && parent.name === node)
+        return true;
+    if (ts.isImportSpecifier(parent) && parent.name === node)
+        return true;
+    if (ts.isVariableDeclaration(parent) &&
+        parent.initializer === node &&
+        ts.isIdentifier(parent.name)) {
+        const declarationList = parent.parent;
+        if (ts.isVariableDeclarationList(declarationList)) {
+            const isConst = (declarationList.flags & ts.NodeFlags.Const) !== 0;
+            const isLet = (declarationList.flags & ts.NodeFlags.Let) !== 0;
+            if (isConst || isLet)
+                return true;
+        }
+    }
+    if (ts.isCallExpression(parent) && parent.expression === node)
+        return true;
+    if (ts.isTypeQueryNode(parent) && parent.exprName === node)
+        return true;
+    if (ts.isExportSpecifier(parent))
+        return true;
+    if (ts.isExportAssignment(parent) && parent.expression === node)
+        return true;
+    const contextualType = checker.getContextualType(node);
+    if (contextualType) {
+        const isNullishOnly = (type) => {
+            const flags = type.getFlags();
+            return ((flags &
+                (ts.TypeFlags.Null |
+                    ts.TypeFlags.Undefined |
+                    ts.TypeFlags.Void |
+                    ts.TypeFlags.Never)) !==
+                0);
+        };
+        const isMonomorphicCallableType = (type) => {
+            if (type.isUnion()) {
+                return type.types.every((member) => isNullishOnly(member) || isMonomorphicCallableType(member));
+            }
+            if (type.isIntersection()) {
+                return type.types.every((member) => isMonomorphicCallableType(member));
+            }
+            const signatures = checker.getSignaturesOfType(type, ts.SignatureKind.Call);
+            if (signatures.length === 0)
+                return false;
+            return signatures.every((sig) => !sig.typeParameters || sig.typeParameters.length === 0);
+        };
+        if (isMonomorphicCallableType(contextualType))
+            return true;
+    }
+    return false;
+};
+export const getReferencedIdentifierSymbol = (checker, node) => {
+    const parent = node.parent;
+    if (ts.isShorthandPropertyAssignment(parent) && parent.name === node) {
+        return checker.getShorthandAssignmentValueSymbol(parent) ?? undefined;
+    }
+    return checker.getSymbolAtLocation(node);
+};
+//# sourceMappingURL=contextual-type-checks.js.map

package/dist/validation/contextual-type-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contextual-type-checks.js","sourceRoot":"","sources":["../../src/validation/contextual-type-checks.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,MAAgD,EACvC,EAAE;IACX,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAE7B,oCAAoC;IACpC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iDAAiD;IACjD,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yEAAyE;IACzE,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,kBAAkB,IAAI,kBAAkB,CAAC,IAAI,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,IACE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAC/B,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC3C,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QACzC,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;YAC9D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,OAAO,6BAA6B,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC;IAED,kEAAkE;IAClE,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBAChB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,4BAA4B,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAA+B,EACtB,EAAE;IACX,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAE3B,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,kBAAkB,IAAI,kBAAkB,CAAC,IAAI,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,OAAO,6BAA6B,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC;IAED,IACE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAC/B,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC3C,CAAC;QACD,OAAO,8BAA8B,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAa,EAC2B,EAAE;IAC1C,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1B,OAAO,OAAO,EAAE,CAAC;QACf,IACE,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,EAChC,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAgC,EACvB,EAAE;IACX,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAE3B,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,kBAAkB,IAAI,kBAAkB,CAAC,IAAI,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,IACE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAC/B,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC3C,CAAC;QACD,OAAO,8BAA8B,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,OAAO,6BAA6B,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC;IAED,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,IAAmB,EACnB,OAAuB,EACd,EAAE;IACX,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAE3B,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACtE,IACE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAChC,MAAM,CAAC,WAAW,KAAK,IAAI;QAC3B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAC5B,CAAC;QACD,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;QACtC,IAAI,EAAE,CAAC,yBAAyB,CAAC,eAAe,CAAC,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACnE,MAAM,KAAK,GAAG,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC/D,IAAI,OAAO,IAAI,KAAK;gBAAE,OAAO,IAAI,CAAC;QACpC,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3E,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACxE,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE7E,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,aAAa,GAAG,CAAC,IAAa,EAAW,EAAE;YAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,OAAO,CACL,CAAC,KAAK;gBACJ,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI;oBAChB,EAAE,CAAC,SAAS,CAAC,SAAS;oBACtB,EAAE,CAAC,SAAS,CAAC,IAAI;oBACjB,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBACxB,CAAC,CACF,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,yBAAyB,GAAG,CAAC,IAAa,EAAW,EAAE;YAC3D,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;gBACnB,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CACrB,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,yBAAyB,CAAC,MAAM,CAAC,CACvE,CAAC;YACJ,CAAC;YAED,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC1B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC;YACzE,CAAC;YAED,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAC5C,IAAI,EACJ,EAAE,CAAC,aAAa,CAAC,IAAI,CACtB,CAAC;YACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1C,OAAO,UAAU,CAAC,KAAK,CACrB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,cAAc,IAAI,GAAG,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,CAChE,CAAC;QACJ,CAAC,CAAC;QAEF,IAAI,yBAAyB,CAAC,cAAc,CAAC;YAAE,OAAO,IAAI,CAAC;IAC7D,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,OAAuB,EACvB,IAAmB,EACI,EAAE;IACzB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrE,OAAO,OAAO,CAAC,iCAAiC,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC;IACxE,CAAC;IACD,OAAO,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"exports.d.ts","sourceRoot":"","sources":["../../src/validation/exports.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;AAGhC;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,aAAa,EACvB,WAAW,oBAAoB,KAC9B,oBA6EF,CAAC"}
+{"version":3,"file":"exports.d.ts","sourceRoot":"","sources":["../../src/validation/exports.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;AAGhC;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,aAAa,EACvB,WAAW,oBAAoB,KAC9B,oBAqEF,CAAC"}

package/dist/validation/exports.js

@@ -8,7 +8,17 @@ import { hasExportModifier, getNodeLocation } from "./helpers.js";
  * Validate exports (check for duplicates)
  */
 export const validateExports = (sourceFile, _program, collector) => {
-    const exportedNames = new Set();
+    const exportedKinds = new Map();
+    const recordExport = (name, kind, node) => {
+        const existingKind = exportedKinds.get(name);
+        if (existingKind) {
+            if (!(existingKind === "function" && kind === "function")) {
+                collector = addDiagnostic(collector, createDiagnostic("TSN1005", "error", `Duplicate export: "${name}"`, getNodeLocation(sourceFile, node)));
+            }
+            return;
+        }
+        exportedKinds.set(name, kind);
+    };
     const visitor = (node) => {
         if (ts.isExportDeclaration(node) || ts.isExportAssignment(node)) {
             // Validate export syntax
@@ -19,22 +29,14 @@ export const validateExports = (sourceFile, _program, collector) => {
                 node.exportClause &&
                 ts.isNamedExports(node.exportClause)) {
                 node.exportClause.elements.forEach((spec) => {
-                    const name = spec.name.text;
-                    if (exportedNames.has(name)) {
-                        collector = addDiagnostic(collector, createDiagnostic("TSN1005", "error", `Duplicate export: "${name}"`, getNodeLocation(sourceFile, spec)));
-                    }
-                    exportedNames.add(name);
+                    recordExport(spec.name.text, "other", spec);
                 });
             }
         }
         if (ts.isVariableStatement(node) && hasExportModifier(node)) {
             node.declarationList.declarations.forEach((decl) => {
                 if (ts.isIdentifier(decl.name)) {
-                    const name = decl.name.text;
-                    if (exportedNames.has(name)) {
-                        collector = addDiagnostic(collector, createDiagnostic("TSN1005", "error", `Duplicate export: "${name}"`, getNodeLocation(sourceFile, decl)));
-                    }
-                    exportedNames.add(name);
+                    recordExport(decl.name.text, "other", decl);
                 }
             });
         }
@@ -42,10 +44,7 @@ export const validateExports = (sourceFile, _program, collector) => {
             hasExportModifier(node)) {
             const name = node.name?.text;
             if (name) {
-                if (exportedNames.has(name)) {
-                    collector = addDiagnostic(collector, createDiagnostic("TSN1005", "error", `Duplicate export: "${name}"`, getNodeLocation(sourceFile, node)));
-                }
-                exportedNames.add(name);
+                recordExport(name, ts.isFunctionDeclaration(node) ? "function" : "other", node);
             }
         }
         ts.forEachChild(node, visitor);

package/dist/validation/exports.js.map

@@ -1 +1 @@
-{"version":3,"file":"exports.js","sourceRoot":"","sources":["../../src/validation/exports.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,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAElE;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAAyB,EACzB,QAAuB,EACvB,SAA+B,EACT,EAAE;IACxB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAExC,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChE,yBAAyB;YACzB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxD,4BAA4B;YAC9B,CAAC;iBAAM,IACL,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;gBAC5B,IAAI,CAAC,YAAY;gBACjB,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,EACpC,CAAC;gBACD,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;oBAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC5B,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC5B,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sBAAsB,IAAI,GAAG,EAC7B,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;oBACJ,CAAC;oBACD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC1B,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5D,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBACjD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC5B,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC5B,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sBAAsB,IAAI,GAAG,EAC7B,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;oBACJ,CAAC;oBACD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC1B,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QAED,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC/D,iBAAiB,CAAC,IAAI,CAAC,EACvB,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;YAC7B,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC5B,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sBAAsB,IAAI,GAAG,EAC7B,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;gBACJ,CAAC;gBACD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1B,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":"exports.js","sourceRoot":"","sources":["../../src/validation/exports.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,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAElE;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAAyB,EACzB,QAAuB,EACvB,SAA+B,EACT,EAAE;IACxB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAgC,CAAC;IAE9D,MAAM,YAAY,GAAG,CACnB,IAAY,EACZ,IAA0B,EAC1B,IAAa,EACP,EAAE;QACR,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,CAAC,CAAC,YAAY,KAAK,UAAU,IAAI,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;gBAC1D,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sBAAsB,IAAI,GAAG,EAC7B,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChE,yBAAyB;YACzB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxD,4BAA4B;YAC9B,CAAC;iBAAM,IACL,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;gBAC5B,IAAI,CAAC,YAAY;gBACjB,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,EACpC,CAAC;gBACD,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;oBAC1C,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC9C,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5D,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBACjD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC/B,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QAED,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC/D,iBAAiB,CAAC,IAAI,CAAC,EACvB,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;YAC7B,IAAI,IAAI,EAAE,CAAC;gBACT,YAAY,CACV,IAAI,EACJ,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,EACrD,IAAI,CACL,CAAC;YACJ,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/features-cases/promise-chaining.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=promise-chaining.test.d.ts.map

package/dist/validation/features-cases/promise-chaining.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"promise-chaining.test.d.ts","sourceRoot":"","sources":["../../../src/validation/features-cases/promise-chaining.test.ts"],"names":[],"mappings":""}

package/dist/validation/features-cases/promise-chaining.test.js

@@ -0,0 +1,113 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { runValidation, hasDiagnostic } from "./test-helpers.js";
+describe("validateUnsupportedFeatures", () => {
+    describe("Promise chaining support (TSN3011 retired)", () => {
+        it("allows Promise.then chaining", () => {
+            const result = runValidation(`
+        const p: Promise<number> = Promise.resolve(1);
+        p.then((x) => x + 1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("allows Promise.catch chaining", () => {
+            const result = runValidation(`
+        const p: Promise<number> = Promise.resolve(1);
+        p.catch(() => 0);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("allows Promise.finally chaining", () => {
+            const result = runValidation(`
+        const p: Promise<number> = Promise.resolve(1);
+        p.finally(() => {});
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("allows Promise chain composition", () => {
+            const result = runValidation(`
+        const p: Promise<number> = Promise.resolve(1);
+        p.then((x) => x + 1).catch(() => 0).finally(() => {});
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("allows chaining on Promise returned by async functions", () => {
+            const result = runValidation(`
+        async function load(): Promise<number> {
+          return 1;
+        }
+        load().then((x) => x + 1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("allows optional chaining on Promise receivers", () => {
+            const result = runValidation(`
+        const p: Promise<number> | undefined = Promise.resolve(1);
+        p?.then((x) => x + 1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("does not flag class methods named then", () => {
+            const result = runValidation(`
+        class Builder {
+          then(v: number): number {
+            return v + 1;
+          }
+        }
+        const b = new Builder();
+        b.then(1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("does not flag class methods named catch", () => {
+            const result = runValidation(`
+        class Catcher {
+          catch(v: number): number {
+            return v + 1;
+          }
+        }
+        const c = new Catcher();
+        c.catch(1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("does not flag class methods named finally", () => {
+            const result = runValidation(`
+        class Finalizer {
+          finally(v: number): number {
+            return v + 1;
+          }
+        }
+        const f = new Finalizer();
+        f.finally(1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("does not flag typed object callbacks named then", () => {
+            const result = runValidation(`
+        type Builder = { then(v: number): number };
+        const b: Builder = { then: (v: number) => v + 1 };
+        b.then(1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("does not flag non-call property access to 'then'", () => {
+            const result = runValidation(`
+        const obj = { then: 123 };
+        const value = obj.then;
+        console.log(value);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("does not flag regular function name 'then'", () => {
+            const result = runValidation(`
+        function then(v: number): number {
+          return v + 1;
+        }
+        console.log(then(1));
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+    });
+});
+//# sourceMappingURL=promise-chaining.test.js.map

package/dist/validation/features-cases/promise-chaining.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"promise-chaining.test.js","sourceRoot":"","sources":["../../../src/validation/features-cases/promise-chaining.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEjE,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;QAC1D,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;OAK5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;;;OAQ5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;;;OAQ5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;;;OAQ5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;OAK5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/validation/features-cases/test-helpers.d.ts

@@ -0,0 +1,11 @@
+import * as ts from "typescript";
+import { createDiagnosticsCollector } from "../../types/diagnostic.js";
+import type { TsonicProgram } from "../../program.js";
+export type ValidationResult = ReturnType<typeof createDiagnosticsCollector>;
+export declare const createTestProgram: (source: string, fileName?: string, extraFiles?: Readonly<Record<string, string>>) => TsonicProgram & {
+    readonly sourceFile: ts.SourceFile;
+};
+export declare const runValidation: (sourceText: string, extraFiles?: Readonly<Record<string, string>>) => ValidationResult;
+export declare const runValidationInTempProject: (sourceText: string, extraFiles?: Readonly<Record<string, string>>) => ValidationResult;
+export declare const hasDiagnostic: (result: ValidationResult, code: string, messageFragment?: string) => boolean;
+//# sourceMappingURL=test-helpers.d.ts.map

package/dist/validation/features-cases/test-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-helpers.d.ts","sourceRoot":"","sources":["../../../src/validation/features-cases/test-helpers.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAMtD,MAAM,MAAM,gBAAgB,GAAG,UAAU,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE7E,eAAO,MAAM,iBAAiB,GAC5B,QAAQ,MAAM,EACd,iBAA2B,EAC3B,aAAY,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,KAChD,aAAa,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAA;CAsFtD,CAAC;AAEF,eAAO,MAAM,aAAa,GACxB,YAAY,MAAM,EAClB,aAAY,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,KAChD,gBAWF,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,YAAY,MAAM,EAClB,aAAY,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,KAChD,gBA0DF,CAAC;AAEF,eAAO,MAAM,aAAa,GACxB,QAAQ,gBAAgB,EACxB,MAAM,MAAM,EACZ,kBAAkB,MAAM,YAMvB,CAAC"}

package/dist/validation/features-cases/test-helpers.js

@@ -0,0 +1,125 @@
+/* eslint-disable @typescript-eslint/explicit-module-boundary-types */
+import * as fs from "node:fs";
+import * as os from "node:os";
+import * as path from "node:path";
+import * as ts from "typescript";
+import { validateUnsupportedFeatures } from "../features.js";
+import { createDiagnosticsCollector } from "../../types/diagnostic.js";
+import { DotnetMetadataRegistry } from "../../dotnet-metadata.js";
+import { BindingRegistry } from "../../program/bindings.js";
+import { createClrBindingsResolver } from "../../resolver/clr-bindings-resolver.js";
+import { createBinding } from "../../ir/binding/index.js";
+export const createTestProgram = (source, fileName = "/test/index.ts", extraFiles = {}) => {
+    const allFiles = new Map([
+        [fileName, source],
+        ...Object.entries(extraFiles),
+    ]);
+    const sourceFiles = new Map(Array.from(allFiles.entries(), ([name, text]) => [
+        name,
+        ts.createSourceFile(name, text, ts.ScriptTarget.Latest, true, ts.ScriptKind.TS),
+    ]));
+    const compilerOptions = {
+        target: ts.ScriptTarget.ES2022,
+        module: ts.ModuleKind.NodeNext,
+        strict: true,
+        noEmit: true,
+        skipLibCheck: true,
+    };
+    const host = ts.createCompilerHost(compilerOptions);
+    const originalGetSourceFile = host.getSourceFile;
+    const originalFileExists = host.fileExists;
+    const originalReadFile = host.readFile;
+    host.getSourceFile = (name, languageVersionOrOptions, onError, shouldCreateNewSourceFile) => {
+        const normalized = name.replace(/\\/g, "/");
+        const file = sourceFiles.get(normalized);
+        if (file) {
+            return file;
+        }
+        return originalGetSourceFile.call(host, name, languageVersionOrOptions, onError, shouldCreateNewSourceFile);
+    };
+    host.fileExists = (name) => sourceFiles.has(name.replace(/\\/g, "/")) || originalFileExists(name);
+    host.readFile = (name) => {
+        const normalized = name.replace(/\\/g, "/");
+        return allFiles.get(normalized) ?? originalReadFile(name);
+    };
+    const program = ts.createProgram(Array.from(allFiles.keys()), compilerOptions, host);
+    const checker = program.getTypeChecker();
+    const entrySourceFile = program.getSourceFile(fileName);
+    if (!entrySourceFile) {
+        throw new Error(`Missing test entry source file: ${fileName}`);
+    }
+    return {
+        program,
+        checker,
+        options: {
+            projectRoot: "/test",
+            sourceRoot: "/test",
+            rootNamespace: "Test",
+        },
+        sourceFiles: Array.from(sourceFiles.keys())
+            .map((name) => program.getSourceFile(name))
+            .filter((file) => file !== undefined),
+        declarationSourceFiles: [],
+        metadata: new DotnetMetadataRegistry(),
+        bindings: new BindingRegistry(),
+        clrResolver: createClrBindingsResolver("/test"),
+        binding: createBinding(checker),
+        sourceFile: entrySourceFile,
+    };
+};
+export const runValidation = (sourceText, extraFiles = {}) => {
+    const testProgram = createTestProgram(sourceText, "/test/index.ts", extraFiles);
+    return validateUnsupportedFeatures(testProgram.sourceFile, testProgram, createDiagnosticsCollector());
+};
+export const runValidationInTempProject = (sourceText, extraFiles = {}) => {
+    const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), "tsonic-features-dynamic-import-"));
+    try {
+        const entryPath = path.join(tempDir, "src", "index.ts");
+        fs.mkdirSync(path.dirname(entryPath), { recursive: true });
+        fs.writeFileSync(entryPath, sourceText);
+        const rootNames = [entryPath];
+        for (const [relativePath, content] of Object.entries(extraFiles)) {
+            const fullPath = path.join(tempDir, relativePath);
+            fs.mkdirSync(path.dirname(fullPath), { recursive: true });
+            fs.writeFileSync(fullPath, content);
+            rootNames.push(fullPath);
+        }
+        const compilerOptions = {
+            target: ts.ScriptTarget.ES2022,
+            module: ts.ModuleKind.NodeNext,
+            moduleResolution: ts.ModuleResolutionKind.NodeNext,
+            strict: true,
+            noEmit: true,
+            skipLibCheck: true,
+        };
+        const program = ts.createProgram(rootNames, compilerOptions);
+        const checker = program.getTypeChecker();
+        const sourceFile = program.getSourceFile(entryPath);
+        if (!sourceFile) {
+            throw new Error("Missing temp-project entry source file.");
+        }
+        return validateUnsupportedFeatures(sourceFile, {
+            program,
+            checker,
+            options: {
+                projectRoot: tempDir,
+                sourceRoot: path.join(tempDir, "src"),
+                rootNamespace: "Test",
+            },
+            sourceFiles: rootNames
+                .map((fileName) => program.getSourceFile(fileName))
+                .filter((file) => file !== undefined),
+            declarationSourceFiles: [],
+            metadata: new DotnetMetadataRegistry(),
+            bindings: new BindingRegistry(),
+            clrResolver: createClrBindingsResolver(tempDir),
+            binding: createBinding(checker),
+        }, createDiagnosticsCollector());
+    }
+    finally {
+        fs.rmSync(tempDir, { recursive: true, force: true });
+    }
+};
+export const hasDiagnostic = (result, code, messageFragment) => result.diagnostics.some((d) => d.code === code &&
+    (messageFragment === undefined || d.message.includes(messageFragment)));
+//# sourceMappingURL=test-helpers.js.map

package/dist/validation/features-cases/test-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-helpers.js","sourceRoot":"","sources":["../../../src/validation/features-cases/test-helpers.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAEvE,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAI1D,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAAc,EACd,QAAQ,GAAG,gBAAgB,EAC3B,aAA+C,EAAE,EACO,EAAE;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAiB;QACvC,CAAC,QAAQ,EAAE,MAAM,CAAC;QAClB,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;KAC9B,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;QAC/C,IAAI;QACJ,EAAE,CAAC,gBAAgB,CACjB,IAAI,EACJ,IAAI,EACJ,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB;KACF,CAAC,CACH,CAAC;IAEF,MAAM,eAAe,GAAuB;QAC1C,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;QAC9B,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,IAAI;QACZ,YAAY,EAAE,IAAI;KACnB,CAAC;IAEF,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;IACpD,MAAM,qBAAqB,GAAG,IAAI,CAAC,aAAa,CAAC;IACjD,MAAM,kBAAkB,GAAG,IAAI,CAAC,UAAU,CAAC;IAC3C,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,CAAC;IACvC,IAAI,CAAC,aAAa,GAAG,CACnB,IAAY,EACZ,wBAAsE,EACtE,OAAmC,EACnC,yBAAmC,EACnC,EAAE;QACF,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACzC,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,qBAAqB,CAAC,IAAI,CAC/B,IAAI,EACJ,IAAI,EACJ,wBAAwB,EACxB,OAAO,EACP,yBAAyB,CAC1B,CAAC;IACJ,CAAC,CAAC;IACF,IAAI,CAAC,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE,CACjC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACxE,IAAI,CAAC,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE;QAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,OAAO,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAC3B,eAAe,EACf,IAAI,CACL,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,eAAe,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,mCAAmC,QAAQ,EAAE,CAAC,CAAC;IACjE,CAAC;IAED,OAAO;QACL,OAAO;QACP,OAAO;QACP,OAAO,EAAE;YACP,WAAW,EAAE,OAAO;YACpB,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,MAAM;SACtB;QACD,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;aACxC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;aAC1C,MAAM,CAAC,CAAC,IAAI,EAAyB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;QAC9D,sBAAsB,EAAE,EAAE;QAC1B,QAAQ,EAAE,IAAI,sBAAsB,EAAE;QACtC,QAAQ,EAAE,IAAI,eAAe,EAAE;QAC/B,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;QAC/C,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;QAC/B,UAAU,EAAE,eAAe;KAC5B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,UAAkB,EAClB,aAA+C,EAAE,EAC/B,EAAE;IACpB,MAAM,WAAW,GAAG,iBAAiB,CACnC,UAAU,EACV,gBAAgB,EAChB,UAAU,CACX,CAAC;IACF,OAAO,2BAA2B,CAChC,WAAW,CAAC,UAAU,EACtB,WAAW,EACX,0BAA0B,EAAE,CAC7B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,UAAkB,EAClB,aAA+C,EAAE,EAC/B,EAAE;IACpB,MAAM,OAAO,GAAG,EAAE,CAAC,WAAW,CAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iCAAiC,CAAC,CAC1D,CAAC;IAEF,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QACxD,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAExC,MAAM,SAAS,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YAClD,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1D,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACpC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QAED,MAAM,eAAe,GAAuB;YAC1C,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;YAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;YAC9B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,QAAQ;YAClD,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,IAAI;YACZ,YAAY,EAAE,IAAI;SACnB,CAAC;QAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC7D,CAAC;QAED,OAAO,2BAA2B,CAChC,UAAU,EACV;YACE,OAAO;YACP,OAAO;YACP,OAAO,EAAE;gBACP,WAAW,EAAE,OAAO;gBACpB,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC;gBACrC,aAAa,EAAE,MAAM;aACtB;YACD,WAAW,EAAE,SAAS;iBACnB,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;iBAClD,MAAM,CAAC,CAAC,IAAI,EAAyB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;YAC9D,sBAAsB,EAAE,EAAE;YAC1B,QAAQ,EAAE,IAAI,sBAAsB,EAAE;YACtC,QAAQ,EAAE,IAAI,eAAe,EAAE;YAC/B,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;YAC/C,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;SAChC,EACD,0BAA0B,EAAE,CAC7B,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,MAAwB,EACxB,IAAY,EACZ,eAAwB,EACxB,EAAE,CACF,MAAM,CAAC,WAAW,CAAC,IAAI,CACrB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,IAAI;IACf,CAAC,eAAe,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CACzE,CAAC"}

package/dist/validation/features-cases/tsn2001-unsupported-syntax.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=tsn2001-unsupported-syntax.test.d.ts.map

package/dist/validation/features-cases/tsn2001-unsupported-syntax.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tsn2001-unsupported-syntax.test.d.ts","sourceRoot":"","sources":["../../../src/validation/features-cases/tsn2001-unsupported-syntax.test.ts"],"names":[],"mappings":""}