@tsonic/frontend 0.0.14 → 0.0.15

package/dist/ir/validation/arrow-return-finalization-pass.js

@@ -0,0 +1,416 @@
+/**
+ * Arrow Return Finalization Pass
+ *
+ * For expression-bodied arrow functions without explicit return type,
+ * this pass infers the return type from the body expression's inferredType.
+ *
+ * This pass runs AFTER numeric proof pass, so that the body expression's
+ * inferredType has been finalized with proper numeric kinds.
+ *
+ * Example:
+ *   xs.map(x => x + 1)
+ *   - x is inferred as number from contextual type
+ *   - x + 1 has inferredType: primitiveType("number")
+ *   - Arrow's returnType is set to primitiveType("number")
+ */
+/**
+ * Run arrow return finalization pass on modules
+ */
+export const runArrowReturnFinalizationPass = (modules) => {
+    const processedModules = modules.map(processModule);
+    return { ok: true, modules: processedModules };
+};
+/**
+ * Process a single module
+ */
+const processModule = (module) => ({
+    ...module,
+    body: module.body.map(processStatement),
+    exports: module.exports.map((exp) => {
+        switch (exp.kind) {
+            case "declaration":
+                return {
+                    ...exp,
+                    declaration: processStatement(exp.declaration),
+                };
+            case "default":
+                return {
+                    ...exp,
+                    expression: processExpression(exp.expression),
+                };
+            case "named":
+            case "reexport":
+                return exp;
+            default:
+                return exp;
+        }
+    }),
+});
+/**
+ * Process a statement, recursively handling nested expressions
+ */
+const processStatement = (stmt) => {
+    switch (stmt.kind) {
+        case "variableDeclaration":
+            return {
+                ...stmt,
+                declarations: stmt.declarations.map((decl) => ({
+                    ...decl,
+                    initializer: decl.initializer
+                        ? processExpression(decl.initializer)
+                        : undefined,
+                })),
+            };
+        case "functionDeclaration":
+            return {
+                ...stmt,
+                body: processBlockStatement(stmt.body),
+            };
+        case "classDeclaration":
+            return {
+                ...stmt,
+                members: stmt.members.map(processClassMember),
+            };
+        case "interfaceDeclaration":
+            return stmt;
+        case "typeAliasDeclaration":
+            return stmt;
+        case "expressionStatement":
+            return {
+                ...stmt,
+                expression: processExpression(stmt.expression),
+            };
+        case "returnStatement":
+            return {
+                ...stmt,
+                expression: stmt.expression
+                    ? processExpression(stmt.expression)
+                    : undefined,
+            };
+        case "ifStatement":
+            return {
+                ...stmt,
+                condition: processExpression(stmt.condition),
+                thenStatement: processStatement(stmt.thenStatement),
+                elseStatement: stmt.elseStatement
+                    ? processStatement(stmt.elseStatement)
+                    : undefined,
+            };
+        case "blockStatement":
+            return processBlockStatement(stmt);
+        case "forStatement":
+            return {
+                ...stmt,
+                initializer: stmt.initializer
+                    ? "kind" in stmt.initializer &&
+                        stmt.initializer.kind === "variableDeclaration"
+                        ? processStatement(stmt.initializer)
+                        : processExpression(stmt.initializer)
+                    : undefined,
+                condition: stmt.condition
+                    ? processExpression(stmt.condition)
+                    : undefined,
+                update: stmt.update ? processExpression(stmt.update) : undefined,
+                body: processStatement(stmt.body),
+            };
+        case "forOfStatement":
+            return {
+                ...stmt,
+                expression: processExpression(stmt.expression),
+                body: processStatement(stmt.body),
+            };
+        case "whileStatement":
+            return {
+                ...stmt,
+                condition: processExpression(stmt.condition),
+                body: processStatement(stmt.body),
+            };
+        case "switchStatement":
+            return {
+                ...stmt,
+                expression: processExpression(stmt.expression),
+                cases: stmt.cases.map((c) => ({
+                    ...c,
+                    test: c.test ? processExpression(c.test) : undefined,
+                    statements: c.statements.map(processStatement),
+                })),
+            };
+        case "throwStatement":
+            return {
+                ...stmt,
+                expression: processExpression(stmt.expression),
+            };
+        case "tryStatement":
+            return {
+                ...stmt,
+                tryBlock: processBlockStatement(stmt.tryBlock),
+                catchClause: stmt.catchClause
+                    ? {
+                        ...stmt.catchClause,
+                        body: processBlockStatement(stmt.catchClause.body),
+                    }
+                    : undefined,
+                finallyBlock: stmt.finallyBlock
+                    ? processBlockStatement(stmt.finallyBlock)
+                    : undefined,
+            };
+        case "yieldStatement":
+            return {
+                ...stmt,
+                output: stmt.output ? processExpression(stmt.output) : undefined,
+            };
+        case "generatorReturnStatement":
+            return {
+                ...stmt,
+                expression: stmt.expression
+                    ? processExpression(stmt.expression)
+                    : undefined,
+            };
+        case "breakStatement":
+        case "continueStatement":
+        case "emptyStatement":
+            return stmt;
+        default:
+            return stmt;
+    }
+};
+/**
+ * Process a block statement
+ */
+const processBlockStatement = (block) => ({
+    ...block,
+    statements: block.statements.map(processStatement),
+});
+/**
+ * Process a class member
+ */
+const processClassMember = (member) => {
+    switch (member.kind) {
+        case "methodDeclaration":
+            return member.body
+                ? {
+                    ...member,
+                    body: processBlockStatement(member.body),
+                }
+                : member;
+        case "constructorDeclaration":
+            return member.body
+                ? {
+                    ...member,
+                    body: processBlockStatement(member.body),
+                }
+                : member;
+        case "propertyDeclaration":
+            return member.initializer
+                ? {
+                    ...member,
+                    initializer: processExpression(member.initializer),
+                }
+                : member;
+        default:
+            return member;
+    }
+};
+/**
+ * Process an expression, handling arrow functions specially
+ */
+const processExpression = (expr) => {
+    switch (expr.kind) {
+        case "arrowFunction":
+            return processArrowFunction(expr);
+        case "functionExpression":
+            return processFunctionExpression(expr);
+        case "array":
+            return {
+                ...expr,
+                elements: expr.elements.map((el) => el === undefined ? undefined : processExpression(el)),
+            };
+        case "object":
+            return {
+                ...expr,
+                properties: expr.properties.map((prop) => {
+                    if (prop.kind === "spread") {
+                        return {
+                            ...prop,
+                            expression: processExpression(prop.expression),
+                        };
+                    }
+                    return {
+                        ...prop,
+                        key: typeof prop.key === "string"
+                            ? prop.key
+                            : processExpression(prop.key),
+                        value: processExpression(prop.value),
+                    };
+                }),
+            };
+        case "call":
+            return {
+                ...expr,
+                callee: processExpression(expr.callee),
+                arguments: expr.arguments.map((arg) => arg.kind === "spread"
+                    ? { ...arg, expression: processExpression(arg.expression) }
+                    : processExpression(arg)),
+            };
+        case "new":
+            return {
+                ...expr,
+                callee: processExpression(expr.callee),
+                arguments: expr.arguments.map((arg) => arg.kind === "spread"
+                    ? { ...arg, expression: processExpression(arg.expression) }
+                    : processExpression(arg)),
+            };
+        case "memberAccess":
+            return {
+                ...expr,
+                object: processExpression(expr.object),
+                property: typeof expr.property === "string"
+                    ? expr.property
+                    : processExpression(expr.property),
+            };
+        case "binary":
+            return {
+                ...expr,
+                left: processExpression(expr.left),
+                right: processExpression(expr.right),
+            };
+        case "logical":
+            return {
+                ...expr,
+                left: processExpression(expr.left),
+                right: processExpression(expr.right),
+            };
+        case "unary":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "update":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "conditional":
+            return {
+                ...expr,
+                condition: processExpression(expr.condition),
+                whenTrue: processExpression(expr.whenTrue),
+                whenFalse: processExpression(expr.whenFalse),
+            };
+        case "assignment":
+            return {
+                ...expr,
+                left: "kind" in expr.left && expr.left.kind !== undefined
+                    ? processExpression(expr.left)
+                    : expr.left,
+                right: processExpression(expr.right),
+            };
+        case "templateLiteral":
+            return {
+                ...expr,
+                expressions: expr.expressions.map(processExpression),
+            };
+        case "spread":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "await":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "yield":
+            return {
+                ...expr,
+                expression: expr.expression
+                    ? processExpression(expr.expression)
+                    : undefined,
+            };
+        case "numericNarrowing":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "typeAssertion":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "trycast":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "stackalloc":
+            return {
+                ...expr,
+                size: processExpression(expr.size),
+            };
+        // Leaf expressions - no recursion needed
+        case "literal":
+        case "identifier":
+        case "this":
+            return expr;
+        default:
+            return expr;
+    }
+};
+/**
+ * Process arrow function - finalize return type from body if needed
+ */
+const processArrowFunction = (expr) => {
+    // Process nested expressions in parameters (default values)
+    const processedParams = expr.parameters.map(processParameter);
+    // Process the body
+    const processedBody = expr.body.kind === "blockStatement"
+        ? processBlockStatement(expr.body)
+        : processExpression(expr.body);
+    // If returnType is already set (explicit annotation), keep it
+    if (expr.returnType !== undefined) {
+        return {
+            ...expr,
+            parameters: processedParams,
+            body: processedBody,
+        };
+    }
+    // For expression-bodied arrows without explicit return type,
+    // infer return type from body's inferredType
+    if (processedBody.kind !== "blockStatement") {
+        const bodyInferredType = processedBody.inferredType;
+        if (bodyInferredType !== undefined) {
+            return {
+                ...expr,
+                parameters: processedParams,
+                body: processedBody,
+                returnType: bodyInferredType,
+            };
+        }
+    }
+    // Block-bodied arrows without explicit return type:
+    // The escape hatch validation (TSN7430) should have caught this.
+    // If we reach here, just return the processed arrow without returnType.
+    return {
+        ...expr,
+        parameters: processedParams,
+        body: processedBody,
+    };
+};
+/**
+ * Process function expression
+ */
+const processFunctionExpression = (expr) => ({
+    ...expr,
+    parameters: expr.parameters.map(processParameter),
+    body: processBlockStatement(expr.body),
+});
+/**
+ * Process a parameter (handle default values)
+ */
+const processParameter = (param) => ({
+    ...param,
+    initializer: param.initializer
+        ? processExpression(param.initializer)
+        : undefined,
+});
+//# sourceMappingURL=arrow-return-finalization-pass.js.map

package/dist/ir/validation/arrow-return-finalization-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrow-return-finalization-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/arrow-return-finalization-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAqBH;;GAEG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,OAA4B,EACG,EAAE;IACjC,MAAM,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACpD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;AACjD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,MAAgB,EAAY,EAAE,CAAC,CAAC;IACrD,GAAG,MAAM;IACT,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAClC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,aAAa;gBAChB,OAAO;oBACL,GAAG,GAAG;oBACN,WAAW,EAAE,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC;iBAC/C,CAAC;YACJ,KAAK,SAAS;gBACZ,OAAO;oBACL,GAAG,GAAG;oBACN,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC;iBAC9C,CAAC;YACJ,KAAK,OAAO,CAAC;YACb,KAAK,UAAU;gBACb,OAAO,GAAG,CAAC;YACb;gBACE,OAAO,GAAG,CAAC;QACf,CAAC;IACH,CAAC,CAAC;CACH,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,gBAAgB,GAAG,CAAC,IAAiB,EAAe,EAAE;IAC1D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC7C,GAAG,IAAI;oBACP,WAAW,EAAE,IAAI,CAAC,WAAW;wBAC3B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC;wBACrC,CAAC,CAAC,SAAS;iBACd,CAAC,CAAC;aACJ,CAAC;QAEJ,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;aACvC,CAAC;QAEJ,KAAK,kBAAkB;YACrB,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;aAC9C,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO,IAAI,CAAC;QAEd,KAAK,sBAAsB;YACzB,OAAO,IAAI,CAAC;QAEd,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;oBACpC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC5C,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC,aAAa,CAAC;gBACnD,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,CAAC;oBACtC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;QAErC,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,WAAW;wBAC1B,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;wBAC/C,CAAC,CAAE,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAA6B;wBACjE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAA2B,CAAC;oBACvD,CAAC,CAAC,SAAS;gBACb,SAAS,EAAE,IAAI,CAAC,SAAS;oBACvB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;oBACnC,CAAC,CAAC,SAAS;gBACb,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;gBAChE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;aAClC,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;gBAC9C,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;aAClC,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC5C,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;aAClC,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;gBAC9C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,GAAG,CAAC;oBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;oBACpD,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC;iBAC/C,CAAC,CAAC;aACJ,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAC9C,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC;wBACE,GAAG,IAAI,CAAC,WAAW;wBACnB,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;qBACnD;oBACH,CAAC,CAAC,SAAS;gBACb,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC7B,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,YAAY,CAAC;oBAC1C,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;aACjE,CAAC;QAEJ,KAAK,0BAA0B;YAC7B,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;oBACpC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB,CAAC;QACzB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC;QAEd;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,qBAAqB,GAAG,CAAC,KAAuB,EAAoB,EAAE,CAAC,CAAC;IAC5E,GAAG,KAAK;IACR,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC;CACnD,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,MAAqB,EAAiB,EAAE;IAClE,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,mBAAmB;YACtB,OAAO,MAAM,CAAC,IAAI;gBAChB,CAAC,CAAC;oBACE,GAAG,MAAM;oBACT,IAAI,EAAE,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC;iBACzC;gBACH,CAAC,CAAC,MAAM,CAAC;QAEb,KAAK,wBAAwB;YAC3B,OAAO,MAAM,CAAC,IAAI;gBAChB,CAAC,CAAC;oBACE,GAAG,MAAM;oBACT,IAAI,EAAE,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC;iBACzC;gBACH,CAAC,CAAC,MAAM,CAAC;QAEb,KAAK,qBAAqB;YACxB,OAAO,MAAM,CAAC,WAAW;gBACvB,CAAC,CAAC;oBACE,GAAG,MAAM;oBACT,WAAW,EAAE,iBAAiB,CAAC,MAAM,CAAC,WAAW,CAAC;iBACnD;gBACH,CAAC,CAAC,MAAM,CAAC;QAEb;YACE,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,IAAkB,EAAgB,EAAE;IAC7D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAEpC,KAAK,oBAAoB;YACvB,OAAO,yBAAyB,CAAC,IAAI,CAAC,CAAC;QAEzC,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACjC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,EAAE,CAAC,CACrD;aACF,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;oBACvC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC3B,OAAO;4BACL,GAAG,IAAI;4BACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;yBAC/C,CAAC;oBACJ,CAAC;oBACD,OAAO;wBACL,GAAG,IAAI;wBACP,GAAG,EACD,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ;4BAC1B,CAAC,CAAC,IAAI,CAAC,GAAG;4BACV,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC;wBACjC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;qBACrC,CAAC;gBACJ,CAAC,CAAC;aACH,CAAC;QAEJ,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACpC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBACnB,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE;oBAC3D,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAC3B;aACF,CAAC;QAEJ,KAAK,KAAK;YACR,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACpC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBACnB,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE;oBAC3D,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAC3B;aACF,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,QAAQ,EACN,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;oBAC/B,CAAC,CAAC,IAAI,CAAC,QAAQ;oBACf,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;aACvC,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;aACrC,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;aACrC,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC5C,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAC1C,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;aAC7C,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,MAAM,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;oBACjD,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAoB,CAAC;oBAC9C,CAAC,CAAC,IAAI,CAAC,IAAI;gBACf,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;aACrC,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC;aACrD,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;oBACpC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,kBAAkB;YACrB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,eAAe;YAClB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;aACnC,CAAC;QAEJ,yCAAyC;QACzC,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QAEd;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,IAA+B,EACJ,EAAE;IAC7B,4DAA4D;IAC5D,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAE9D,mBAAmB;IACnB,MAAM,aAAa,GACjB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;QACjC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;QAClC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEnC,8DAA8D;IAC9D,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO;YACL,GAAG,IAAI;YACP,UAAU,EAAE,eAAe;YAC3B,IAAI,EAAE,aAAa;SACpB,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,6CAA6C;IAC7C,IAAI,aAAa,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC5C,MAAM,gBAAgB,GAAG,aAAa,CAAC,YAAY,CAAC;QACpD,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,eAAe;gBAC3B,IAAI,EAAE,aAAa;gBACnB,UAAU,EAAE,gBAAgB;aAC7B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,iEAAiE;IACjE,wEAAwE;IACxE,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,eAAe;QAC3B,IAAI,EAAE,aAAa;KACpB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,yBAAyB,GAAG,CAChC,IAA0B,EACJ,EAAE,CAAC,CAAC;IAC1B,GAAG,IAAI;IACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC;IACjD,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;CACvC,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,gBAAgB,GAAG,CAAC,KAAkB,EAAe,EAAE,CAAC,CAAC;IAC7D,GAAG,KAAK;IACR,WAAW,EAAE,KAAK,CAAC,WAAW;QAC5B,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC;QACtC,CAAC,CAAC,SAAS;CACd,CAAC,CAAC"}

package/dist/ir/validation/attribute-collection-pass.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"attribute-collection-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/attribute-collection-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EACL,UAAU,EAGX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,QAAQ,EAWT,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAuSF;;;;;;;;GAQG;AACH,eAAO,MAAM,0BAA0B,GACrC,SAAS,SAAS,QAAQ,EAAE,KAC3B,yBAgBF,CAAC"}
+{"version":3,"file":"attribute-collection-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/attribute-collection-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EACL,UAAU,EAGX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,QAAQ,EAWT,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AA8UF;;;;;;;;GAQG;AACH,eAAO,MAAM,0BAA0B,GACrC,SAAS,SAAS,QAAQ,EAAE,KAC3B,yBAgBF,CAAC"}

package/dist/ir/validation/attribute-collection-pass.js

@@ -31,8 +31,24 @@ const tryExtractAttributeArg = (expr) => {
             return { kind: "boolean", value: expr.value };
         }
     }
-    // TODO: Handle typeof expressions
-    // TODO: Handle enum member expressions
+    // typeof(SomeType) → C# typeof(SomeType) attribute argument
+    if (expr.kind === "unary" && expr.operator === "typeof") {
+        const targetType = expr.expression.inferredType;
+        if (targetType && targetType.kind !== "unknownType") {
+            return { kind: "typeof", type: targetType };
+        }
+    }
+    // Enum.Member → enum literal argument
+    if (expr.kind === "memberAccess" &&
+        !expr.isComputed &&
+        typeof expr.property === "string") {
+        const object = expr.object;
+        if (object.kind === "identifier" &&
+            object.inferredType &&
+            object.inferredType.kind === "referenceType") {
+            return { kind: "enum", type: object.inferredType, member: expr.property };
+        }
+    }
     return undefined;
 };
 /**
@@ -49,7 +65,7 @@ const tryExtractAttributeArg = (expr) => {
  *         - arguments: [Target identifier]
  *   - arguments: [Attr type, ...positional args]
  */
-const tryDetectAttributeMarker = (call, _module) => {
+const tryDetectAttributeMarker = (call, module) => {
     // Check outer call: must be a member access call like .add(...)
     if (call.callee.kind !== "memberAccess")
         return undefined;
@@ -111,9 +127,27 @@ const tryDetectAttributeMarker = (call, _module) => {
         return undefined;
     }
     const attrIdent = attrTypeArg;
-    // Use resolvedClrType if available, otherwise fall back to the identifier name.
-    // This handles ambient declarations where the name IS the CLR type name.
-    const clrType = attrIdent.resolvedClrType ?? attrIdent.name;
+    const resolveClrFromImports = () => {
+        // If the attribute type is imported from a CLR bindings module, reconstruct the CLR FQN
+        // from the module import table. Identifier expressions do not always carry resolvedClrType.
+        for (const imp of module.imports) {
+            if (!imp.isClr)
+                continue;
+            if (!imp.resolvedNamespace)
+                continue;
+            for (const spec of imp.specifiers) {
+                if (spec.kind !== "named")
+                    continue;
+                if (spec.localName !== attrIdent.name)
+                    continue;
+                return `${imp.resolvedNamespace}.${spec.name}`;
+            }
+        }
+        return undefined;
+    };
+    // Prefer resolvedClrType if present (bindings/globals). Otherwise resolve via CLR imports.
+    // Final fallback is the identifier name (ambient declarations where name is already a CLR type).
+    const clrType = attrIdent.resolvedClrType ?? resolveClrFromImports() ?? attrIdent.name;
     const attributeType = {
         kind: "referenceType",
         name: attrIdent.name,

package/dist/ir/validation/attribute-collection-pass.js.map

@@ -1 +1 @@
-{"version":3,"file":"attribute-collection-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/attribute-collection-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAEL,gBAAgB,GAEjB,MAAM,2BAA2B,CAAC;AAoCnC;;;GAGG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAAkB,EACU,EAAE;IAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAChD,CAAC;IACH,CAAC;IACD,kCAAkC;IAClC,uCAAuC;IACvC,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,wBAAwB,GAAG,CAC/B,IAAsB,EACtB,OAAiB,EACY,EAAE;IAC/B,gEAAgE;IAChE,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,SAAS,CAAC;IAE1D,MAAM,WAAW,GAAG,IAAI,CAAC,MAA4B,CAAC;IAEtD,sDAAsD;IACtD,IAAI,WAAW,CAAC,UAAU,IAAI,OAAO,WAAW,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACvE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,WAAW,CAAC,QAAQ,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAErD,2CAA2C;IAC3C,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,SAAS,CAAC;IAEjE,MAAM,UAAU,GAAG,WAAW,CAAC,MAA4B,CAAC;IAE5D,IAAI,UAAU,CAAC,UAAU,IAAI,OAAO,UAAU,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAErD,kDAAkD;IAClD,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAExD,MAAM,MAAM,GAAG,UAAU,CAAC,MAA0B,CAAC;IAErD,oDAAoD;IACpD,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,SAAS,CAAC;IAE5D,MAAM,QAAQ,GAAG,MAAM,CAAC,MAA4B,CAAC;IAErD,IAAI,QAAQ,CAAC,UAAU,IAAI,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAEjD,sDAAsD;IACtD,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAE5D,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAgC,CAAC;IAC5D,IAAI,SAAS,CAAC,IAAI,KAAK,GAAG,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY;QAC3D,OAAO,SAAS,CAAC;IAEnB,mCAAmC;IACnC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhE,+BAA+B;IAC/B,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAEtD,MAAM,UAAU,GAAI,SAAoC,CAAC,IAAI,CAAC;IAE9D,wDAAwD;IACxD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAEhD,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEpE,yEAAyE;IACzE,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACtC,uFAAuF;QACvF,iCAAiC;QACjC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,WAAqC,CAAC;IACxD,gFAAgF;IAChF,yEAAyE;IACzE,MAAM,OAAO,GAAG,SAAS,CAAC,eAAe,IAAI,SAAS,CAAC,IAAI,CAAC;IAC5D,MAAM,aAAa,GAAW;QAC5B,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,eAAe,EAAE,OAAO;KACzB,CAAC;IAEF,4EAA4E;IAC5E,MAAM,cAAc,GAA8B,IAAI,CAAC,SAAS;SAC7D,KAAK,CAAC,CAAC,CAAC;SACR,MAAM,CAAC,CAAC,GAAG,EAAuB,EAAE;QACnC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAChD,iDAAiD;QACjD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;SACzC,MAAM,CAAC,CAAC,GAAG,EAAyB,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;IAE7D,sEAAsE;IACtE,uDAAuD;IACvD,OAAO;QACL,UAAU;QACV,UAAU,EAAE,OAAO,EAAE,oCAAoC;QACzD,aAAa;QACb,cAAc;QACd,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,QAAgB,EAChB,UAA2B,EACX,EAAE,CAClB,UAAU,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AAElE;;GAEG;AACH,MAAM,aAAa,GAAG,CACpB,MAAgB,EAChB,WAAyB,EACf,EAAE;IACZ,qCAAqC;IACrC,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,sBAAsB,GAAgB,IAAI,GAAG,EAAE,CAAC;IAEtD,gDAAgD;IAChD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO;QAEhD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QAEjC,MAAM,MAAM,GAAG,wBAAwB,CAAC,IAAwB,EAAE,MAAM,CAAC,CAAC;QAC1E,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,+CAA+C;IAC/C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,kDAAkD;IAClD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpD,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEvD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC/C,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,0CAA0C;IAC1C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAyB,CAAC;IACzD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE5D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC5D,MAAM,SAAS,GAAG,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAE9D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,kBAAkB;YAClB,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,WAAW;gBACjB,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,cAAc,EAAE,MAAM,CAAC,cAAc;gBACrC,SAAS,EAAE,MAAM,CAAC,SAAS;aAC5B,CAAC,CAAC;YACH,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;aAAM,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACnC,qBAAqB;YACrB,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YACtD,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,WAAW;gBACjB,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,cAAc,EAAE,MAAM,CAAC,cAAc;gBACrC,SAAS,EAAE,MAAM,CAAC,SAAS;aAC5B,CAAC,CAAC;YACH,kBAAkB,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,6CAA6C;YAC7C,0EAA0E;YAC1E,0EAA0E;YAC1E,WAAW,CAAC,IAAI,CACd,gBAAgB,CACd,SAAS,EACT,SAAS,EACT,qBAAqB,MAAM,CAAC,UAAU,uBAAuB,EAC7D,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,CACnD,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,kCAAkC;IAClC,kDAAkD;IAClD,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC9B,yBAAyB;QACzB,IAAI,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QAE1C,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,+BAA+B;YAC/B,MAAM,SAAS,GAAG,IAA0B,CAAC;YAC7C,MAAM,aAAa,GAAG,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC;gBACX,GAAG,SAAS;gBACZ,UAAU,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,QAAQ,CAAC;aAC5C,CAAC,CAAC;QACL,CAAC;aAAM,IACL,IAAI,CAAC,IAAI,KAAK,qBAAqB;YACnC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EACzB,CAAC;YACD,kCAAkC;YAClC,MAAM,QAAQ,GAAG,IAA6B,CAAC;YAC/C,MAAM,aAAa,GAAG,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACjD,OAAO,CAAC,IAAI,CAAC;gBACX,GAAG,QAAQ;gBACX,UAAU,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,QAAQ,CAAC;aAC5C,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,2BAA2B;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,GAAG,MAAM;QACT,IAAI,EAAE,OAAO;KACd,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,OAA4B,EACD,EAAE;IAC7B,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAe,EAAE,CAAC;IAExC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACrD,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAElE,OAAO;QACL,EAAE,EAAE,CAAC,SAAS;QACd,OAAO,EAAE,gBAAgB;QACzB,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"attribute-collection-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/attribute-collection-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAEL,gBAAgB,GAEjB,MAAM,2BAA2B,CAAC;AAoCnC;;;GAGG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAAkB,EACU,EAAE;IAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAChD,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACxD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAChD,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACpD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,sCAAsC;IACtC,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;QAC5B,CAAC,IAAI,CAAC,UAAU;QAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IACE,MAAM,CAAC,IAAI,KAAK,YAAY;YAC5B,MAAM,CAAC,YAAY;YACnB,MAAM,CAAC,YAAY,CAAC,IAAI,KAAK,eAAe,EAC5C,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,wBAAwB,GAAG,CAC/B,IAAsB,EACtB,MAAgB,EACa,EAAE;IAC/B,gEAAgE;IAChE,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,SAAS,CAAC;IAE1D,MAAM,WAAW,GAAG,IAAI,CAAC,MAA4B,CAAC;IAEtD,sDAAsD;IACtD,IAAI,WAAW,CAAC,UAAU,IAAI,OAAO,WAAW,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACvE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,WAAW,CAAC,QAAQ,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAErD,2CAA2C;IAC3C,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,SAAS,CAAC;IAEjE,MAAM,UAAU,GAAG,WAAW,CAAC,MAA4B,CAAC;IAE5D,IAAI,UAAU,CAAC,UAAU,IAAI,OAAO,UAAU,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAErD,kDAAkD;IAClD,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAExD,MAAM,MAAM,GAAG,UAAU,CAAC,MAA0B,CAAC;IAErD,oDAAoD;IACpD,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,SAAS,CAAC;IAE5D,MAAM,QAAQ,GAAG,MAAM,CAAC,MAA4B,CAAC;IAErD,IAAI,QAAQ,CAAC,UAAU,IAAI,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAEjD,sDAAsD;IACtD,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAE5D,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAgC,CAAC;IAC5D,IAAI,SAAS,CAAC,IAAI,KAAK,GAAG,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY;QAC3D,OAAO,SAAS,CAAC;IAEnB,mCAAmC;IACnC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhE,+BAA+B;IAC/B,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAEtD,MAAM,UAAU,GAAI,SAAoC,CAAC,IAAI,CAAC;IAE9D,wDAAwD;IACxD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAEhD,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEpE,yEAAyE;IACzE,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACtC,uFAAuF;QACvF,iCAAiC;QACjC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,WAAqC,CAAC;IACxD,MAAM,qBAAqB,GAAG,GAAuB,EAAE;QACrD,wFAAwF;QACxF,4FAA4F;QAC5F,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,CAAC,GAAG,CAAC,KAAK;gBAAE,SAAS;YACzB,IAAI,CAAC,GAAG,CAAC,iBAAiB;gBAAE,SAAS;YACrC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAClC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;oBAAE,SAAS;gBACpC,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,IAAI;oBAAE,SAAS;gBAChD,OAAO,GAAG,GAAG,CAAC,iBAAiB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACjD,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,2FAA2F;IAC3F,iGAAiG;IACjG,MAAM,OAAO,GACX,SAAS,CAAC,eAAe,IAAI,qBAAqB,EAAE,IAAI,SAAS,CAAC,IAAI,CAAC;IACzE,MAAM,aAAa,GAAW;QAC5B,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,eAAe,EAAE,OAAO;KACzB,CAAC;IAEF,4EAA4E;IAC5E,MAAM,cAAc,GAA8B,IAAI,CAAC,SAAS;SAC7D,KAAK,CAAC,CAAC,CAAC;SACR,MAAM,CAAC,CAAC,GAAG,EAAuB,EAAE;QACnC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAChD,iDAAiD;QACjD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;SACzC,MAAM,CAAC,CAAC,GAAG,EAAyB,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;IAE7D,sEAAsE;IACtE,uDAAuD;IACvD,OAAO;QACL,UAAU;QACV,UAAU,EAAE,OAAO,EAAE,oCAAoC;QACzD,aAAa;QACb,cAAc;QACd,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,QAAgB,EAChB,UAA2B,EACX,EAAE,CAClB,UAAU,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AAElE;;GAEG;AACH,MAAM,aAAa,GAAG,CACpB,MAAgB,EAChB,WAAyB,EACf,EAAE;IACZ,qCAAqC;IACrC,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,sBAAsB,GAAgB,IAAI,GAAG,EAAE,CAAC;IAEtD,gDAAgD;IAChD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO;QAEhD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QAEjC,MAAM,MAAM,GAAG,wBAAwB,CAAC,IAAwB,EAAE,MAAM,CAAC,CAAC;QAC1E,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,+CAA+C;IAC/C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,kDAAkD;IAClD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpD,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEvD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC/C,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,0CAA0C;IAC1C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAyB,CAAC;IACzD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE5D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC5D,MAAM,SAAS,GAAG,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAE9D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,kBAAkB;YAClB,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,WAAW;gBACjB,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,cAAc,EAAE,MAAM,CAAC,cAAc;gBACrC,SAAS,EAAE,MAAM,CAAC,SAAS;aAC5B,CAAC,CAAC;YACH,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;aAAM,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACnC,qBAAqB;YACrB,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YACtD,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,WAAW;gBACjB,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,cAAc,EAAE,MAAM,CAAC,cAAc;gBACrC,SAAS,EAAE,MAAM,CAAC,SAAS;aAC5B,CAAC,CAAC;YACH,kBAAkB,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,6CAA6C;YAC7C,0EAA0E;YAC1E,0EAA0E;YAC1E,WAAW,CAAC,IAAI,CACd,gBAAgB,CACd,SAAS,EACT,SAAS,EACT,qBAAqB,MAAM,CAAC,UAAU,uBAAuB,EAC7D,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,CACnD,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,kCAAkC;IAClC,kDAAkD;IAClD,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC9B,yBAAyB;QACzB,IAAI,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QAE1C,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,+BAA+B;YAC/B,MAAM,SAAS,GAAG,IAA0B,CAAC;YAC7C,MAAM,aAAa,GAAG,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC;gBACX,GAAG,SAAS;gBACZ,UAAU,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,QAAQ,CAAC;aAC5C,CAAC,CAAC;QACL,CAAC;aAAM,IACL,IAAI,CAAC,IAAI,KAAK,qBAAqB;YACnC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EACzB,CAAC;YACD,kCAAkC;YAClC,MAAM,QAAQ,GAAG,IAA6B,CAAC;YAC/C,MAAM,aAAa,GAAG,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACjD,OAAO,CAAC,IAAI,CAAC;gBACX,GAAG,QAAQ;gBACX,UAAU,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,QAAQ,CAAC;aAC5C,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,2BAA2B;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,GAAG,MAAM;QACT,IAAI,EAAE,OAAO;KACd,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,OAA4B,EACD,EAAE;IAC7B,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAe,EAAE,CAAC;IAExC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACrD,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAElE,OAAO;QACL,EAAE,EAAE,CAAC,SAAS;QACd,OAAO,EAAE,gBAAgB;QACzB,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/validation/attribute-collection-pass.test.js

@@ -26,47 +26,54 @@ describe("Attribute Collection Pass", () => {
         body,
         exports: [],
     });
+    /**
+     * Helper to create a minimal identifier IR
+     */
+    const makeIdentifier = (name, resolvedClrType) => ({
+        kind: "identifier",
+        name,
+        resolvedClrType,
+    });
+    /**
+     * Helper to create a minimal member access IR
+     */
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+    const makeMemberAccess = (object, property) => ({
+        kind: "memberAccess",
+        object,
+        property,
+        isComputed: false,
+        isOptional: false,
+    });
+    /**
+     * Helper to create a minimal call IR
+     */
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+    const makeCall = (callee, args) => ({
+        kind: "call",
+        callee,
+        arguments: args,
+        isOptional: false,
+    });
+    /**
+     * Helper to create a minimal literal IR
+     */
+    const makeLiteral = (value) => ({
+        kind: "literal",
+        value,
+        raw: String(value),
+    });
     /**
      * Helper to create an attribute marker call IR for A.on(Target).type.add(Attr, ...args)
      */
     const makeMarkerCall = (targetName, attrName, args = [], resolvedClrType) => ({
         kind: "expressionStatement",
-        expression: {
-            kind: "call",
-            callee: {
-                kind: "memberAccess",
-                object: {
-                    kind: "memberAccess",
-                    object: {
-                        kind: "call",
-                        callee: {
-                            kind: "memberAccess",
-                            object: { kind: "identifier", name: "A" },
-                            property: "on",
-                            isComputed: false,
-                            isOptional: false,
-                        },
-                        arguments: [{ kind: "identifier", name: targetName }],
-                        isOptional: false,
-                    },
-                    property: "type",
-                    isComputed: false,
-                    isOptional: false,
-                },
-                property: "add",
-                isComputed: false,
-                isOptional: false,
-            },
-            arguments: [
-                {
-                    kind: "identifier",
-                    name: attrName,
-                    ...(resolvedClrType ? { resolvedClrType } : {}),
-                },
-                ...args,
-            ],
-            isOptional: false,
-        },
+        expression: makeCall(makeMemberAccess(makeMemberAccess(makeCall(makeMemberAccess(makeIdentifier("A"), "on"), [
+            makeIdentifier(targetName),
+        ]), "type"), "add"), [
+            makeIdentifier(attrName, resolvedClrType),
+            ...args.map((a) => makeLiteral(a.value)),
+        ]),
     });
     describe("A.on(Class).type.add(Attr) pattern", () => {
         it("should attach attribute to class declaration", () => {