ts-codemod-lib 3.1.1 → 3.2.0

package/README.md

@@ -52,6 +52,7 @@ Options:
     - `'avoidInFunctionArgs'`: Avoids adding `as const` inside function call arguments
     - `'all'`: Applies `as const` everywhere
 - `ignorePrefixes`: Array of string prefixes for identifiers that should not have `as const` added (default: `['mut_', '#mut_', '_mut_', 'draft']`)
+- `removeAsConstForConstTypeParameters`: Whether to remove redundant `as const` assertions from call arguments whose corresponding parameter type is exactly a `const`-modified type parameter (default: `true`). Only applies when the callee resolves to a single call signature within the transformed file itself; imported callees, overloads, calls with explicit type arguments and spread arguments are left as they are.
 
 Example:
 
@@ -67,6 +68,18 @@ const arr2 = [1, 2, 3] as const;
 const obj2 = { a: 1, b: 2 } as const;
 ```
 
+Example (`removeAsConstForConstTypeParameters`):
+
+```ts
+const f = <const T>(x: T): T => x;
+
+// Before
+const a = f([1, 2] as const);
+
+// After (the `const` type parameter already infers `readonly [1, 2]`)
+const a2 = f([1, 2]);
+```
+
 ### 2. `convertToReadonlyTransformer`
 
 Converts TypeScript type definitions to readonly types. This transformer helps in creating more type-safe code by making types readonly where appropriate. It also normalizes nested readonly types (e.g., `Readonly<Readonly<T>>` becomes `Readonly<T>`).

package/dist/functions/ast-transformers/append-as-const.d.mts

@@ -14,6 +14,22 @@ export type AppendAsConstTransformerOptions = DeepReadonly<{
      * @default ['mut_', '#mut_', '_mut_', 'draft']
      */
     ignorePrefixes?: string[];
+    /**
+     * Whether to remove redundant `as const` assertions from call arguments
+     * whose corresponding parameter type is exactly a `const`-modified type
+     * parameter.
+     *
+     * (e.g. `f([1, 2] as const)` becomes `f([1, 2])` for
+     * `function f<const T>(x: T): T`, because the `const` type parameter
+     * already makes TypeScript infer the argument as if it were annotated
+     * with `as const`.)
+     *
+     * Only applies when the callee resolves to a single call signature within
+     * the transformed file itself; imported callees are left as they are.
+     *
+     * @default true
+     */
+    removeAsConstForConstTypeParameters?: boolean;
     debug?: boolean;
 }>;
 //# sourceMappingURL=append-as-const.d.mts.map

package/dist/functions/ast-transformers/append-as-const.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"append-as-const.d.mts","sourceRoot":"","sources":["../../../src/functions/ast-transformers/append-as-const.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,eAAe,CAAC;AAMlD,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAItD,eAAO,MAAM,wBAAwB,aACzB,+BAA+B,KACxC,kBAiCF,CAAC;AAEF,MAAM,MAAM,+BAA+B,GAAG,YAAY,CAAC;IACzD;;OAEG;IACH,UAAU,CAAC,EAAE,KAAK,GAAG,qBAAqB,CAAC;IAE3C;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAK1B,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB,CAAC,CAAC"}
+{"version":3,"file":"append-as-const.d.mts","sourceRoot":"","sources":["../../../src/functions/ast-transformers/append-as-const.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,eAAe,CAAC;AAMlD,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAItD,eAAO,MAAM,wBAAwB,aACzB,+BAA+B,KACxC,kBAuCF,CAAC;AAEF,MAAM,MAAM,+BAA+B,GAAG,YAAY,CAAC;IACzD;;OAEG;IACH,UAAU,CAAC,EAAE,KAAK,GAAG,qBAAqB,CAAC;IAE3C;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAE1B;;;;;;;;;;;;;;OAcG;IACH,mCAAmC,CAAC,EAAE,OAAO,CAAC;IAE9C,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB,CAAC,CAAC"}

package/dist/functions/ast-transformers/append-as-const.mjs

@@ -13,6 +13,7 @@ const appendAsConstTransformer = (options) => {
   const optionsInternal = {
     applyLevel: options?.applyLevel ?? "avoidInFunctionArgs",
     ignoredPrefixes: ignorePrefixes,
+    removeAsConstForConstTypeParameters: options?.removeAsConstForConstTypeParameters ?? true,
     debugPrint: options?.debug === true ? console.debug : () => {
     },
     replaceNode: options?.debug === true ? replaceNodeWithDebugPrint : (node, newNodeText) => node.replaceWithText(newNodeText)
@@ -32,6 +33,9 @@ const appendAsConstTransformer = (options) => {
           optionsInternal
         );
       }
+      if (optionsInternal.removeAsConstForConstTypeParameters) {
+        removeAsConstInConstTypeParameterArgs(sourceAst, optionsInternal);
+      }
     }
   };
 };
@@ -214,6 +218,103 @@ const transformNode = (node, context, options) => {
     );
   }
 };
+const removeAsConstInConstTypeParameterArgs = (sourceAst, options) => {
+  for (const call of sourceAst.getDescendantsOfKind(tsm.SyntaxKind.CallExpression).toReversed()) {
+    if (call.wasForgotten()) {
+      continue;
+    }
+    const args = call.getArguments();
+    if (!args.some(isAsConstNode)) {
+      continue;
+    }
+    if (hasDisableNextLineComment(call, TRANSFORMER_NAME)) {
+      continue;
+    }
+    const variableStatement = call.getFirstAncestorByKind(
+      tsm.SyntaxKind.VariableStatement
+    );
+    if (variableStatement !== void 0 && hasDisableNextLineComment(variableStatement, TRANSFORMER_NAME)) {
+      continue;
+    }
+    if (!Arr.isEmpty(call.getTypeArguments())) {
+      continue;
+    }
+    const callTarget = resolveSingleSignatureCallTarget(call);
+    if (callTarget === void 0) {
+      continue;
+    }
+    removeAsConstArgsOfCall(args, callTarget, options);
+  }
+};
+const removeAsConstArgsOfCall = (args, callTarget, options) => {
+  const firstSpreadIndex = args.findIndex(
+    (a) => a.isKind(tsm.SyntaxKind.SpreadElement)
+  );
+  const mappableArgCount = firstSpreadIndex === -1 ? args.length : firstSpreadIndex;
+  for (const [argumentIndex, argument] of args.entries()) {
+    if (argumentIndex >= mappableArgCount) {
+      return;
+    }
+    if (argument.wasForgotten() || !isAsConstNode(argument)) {
+      continue;
+    }
+    if (hasDisableNextLineComment(argument, TRANSFORMER_NAME)) {
+      continue;
+    }
+    const parameter = getMatchedParameter(callTarget.parameters, argumentIndex);
+    if (parameter === void 0 || !isBareConstTypeParameterReference(
+      parameter,
+      callTarget.constTypeParameterNames
+    )) {
+      continue;
+    }
+    options.debugPrint(
+      "removing redundant as const in const type parameter argument",
+      argument.getText()
+    );
+    options.replaceNode(argument, argument.getExpression().getText());
+  }
+};
+const resolveSingleSignatureCallTarget = (call) => {
+  if (!Arr.isFixedLengthArray(
+    1,
+    call.getExpression().getType().getCallSignatures()
+  )) {
+    return void 0;
+  }
+  const declaration = call.getProject().getTypeChecker().getResolvedSignature(call)?.getDeclaration();
+  if (declaration === void 0 || !tsm.Node.isParametered(declaration) || !tsm.Node.isTypeParametered(declaration)) {
+    return void 0;
+  }
+  const constTypeParameterNames = ISet.create(
+    declaration.getTypeParameters().filter((tp) => tp.hasModifier(tsm.SyntaxKind.ConstKeyword)).map((tp) => tp.getName())
+  );
+  if (constTypeParameterNames.size === 0) {
+    return void 0;
+  }
+  return {
+    parameters: declaration.getParameters(),
+    constTypeParameterNames
+  };
+};
+const getMatchedParameter = (parameters, argumentIndex) => {
+  if (argumentIndex < parameters.length) {
+    return parameters[argumentIndex];
+  }
+  const lastParameter = parameters.at(-1);
+  return lastParameter?.isRestParameter() === true ? lastParameter : void 0;
+};
+const isBareConstTypeParameterReference = (parameter, constTypeParameterNames) => {
+  const typeNode = parameter.getTypeNode();
+  if (typeNode === void 0) {
+    return false;
+  }
+  if (!typeNode.isKind(tsm.SyntaxKind.TypeReference)) {
+    return false;
+  }
+  const typeName = typeNode.getTypeName();
+  return typeName.isKind(tsm.SyntaxKind.Identifier) && Arr.isEmpty(typeNode.getTypeArguments()) && constTypeParameterNames.has(typeName.getText());
+};
 
 export { appendAsConstTransformer };
 //# sourceMappingURL=append-as-const.mjs.map

package/dist/functions/ast-transformers/append-as-const.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"append-as-const.mjs","sources":["../../../src/functions/ast-transformers/append-as-const.mts"],"sourcesContent":["import { Arr, ISet } from 'ts-data-forge';\nimport * as tsm from 'ts-morph';\nimport { type DeepReadonly } from 'ts-type-forge';\nimport {\n  hasDisableNextLineComment,\n  isAsConstNode,\n} from '../functions/index.mjs';\nimport { replaceNodeWithDebugPrint } from '../utils/index.mjs';\nimport { type TsMorphTransformer } from './types.mjs';\n\nconst TRANSFORMER_NAME = 'append-as-const';\n\nexport const appendAsConstTransformer = (\n  options?: AppendAsConstTransformerOptions,\n): TsMorphTransformer => {\n  const ignorePrefixes = ISet.create(\n    options?.ignorePrefixes ?? ['mut_', '#mut_', '_mut_', 'draft'],\n  );\n\n  const optionsInternal: AppendAsConstTransformerOptionsInternal = {\n    applyLevel: options?.applyLevel ?? 'avoidInFunctionArgs',\n    ignoredPrefixes: ignorePrefixes,\n\n    debugPrint: options?.debug === true ? console.debug : () => {},\n    replaceNode:\n      options?.debug === true\n        ? replaceNodeWithDebugPrint\n        : (node, newNodeText) => node.replaceWithText(newNodeText),\n  } as const;\n\n  return {\n    name: TRANSFORMER_NAME,\n    transform: (sourceAst) => {\n      for (const node of sourceAst.getDescendantsOfKind(\n        tsm.SyntaxKind.VariableDeclaration,\n      )) {\n        transformNode(\n          node,\n          {\n            isUnderConstContext: false,\n            isDirectUnderConstInitializer: false,\n          },\n          optionsInternal,\n        );\n      }\n    },\n  };\n};\n\nexport type AppendAsConstTransformerOptions = DeepReadonly<{\n  /**\n   * @default \"avoidInFunctionArgs\"\n   */\n  applyLevel?: 'all' | 'avoidInFunctionArgs';\n\n  /**\n   * A mute keywords to ignore the readonly conversion.\n   *\n   * (e.g. `\"mut_\"`)\n   *\n   * @default ['mut_', '#mut_', '_mut_', 'draft']\n   */\n  ignorePrefixes?: string[];\n\n  // TODO\n  // ignoreConstTypeParameter?: boolean;\n\n  debug?: boolean;\n}>;\n\ntype AppendAsConstTransformerOptionsInternal = DeepReadonly<{\n  applyLevel: 'all' | 'avoidInFunctionArgs';\n  ignoredPrefixes: ISet<string>;\n\n  debugPrint: (...args: readonly unknown[]) => void;\n  replaceNode: (node: tsm.Node, newNodeText: string) => void;\n}>;\n\ntype AsConstContext = Readonly<{\n  /**\n   * Whether the current node is under an `as const` context.\n   *\n   * (e.g. `[1, 2, {x: 3}] as const`  --> `isUnderConstContext` is true for `[1, 2, {x: 3}]` and its children `{x: 3}`)\n   */\n  isUnderConstContext: boolean;\n\n  /**\n   * Whether the current node is directly under a `const` variable initializer.\n   *\n   * (e.g. `const foo = [1, 2, 3];`  --> `isDirectUnderConstInitializer` is true for `[1, 2, 3]`)\n   */\n  isDirectUnderConstInitializer: boolean;\n}>;\n\nconst transformNode = (\n  node: tsm.Node,\n  context: AsConstContext,\n  options: AppendAsConstTransformerOptionsInternal,\n): void => {\n  if (node.wasForgotten()) {\n    return;\n  }\n\n  options.debugPrint(node.getKindName(), node.getText(), { context });\n\n  if (hasDisableNextLineComment(node, TRANSFORMER_NAME)) {\n    options.debugPrint('skipped by disable-next-line comment');\n\n    return;\n  }\n\n  if (\n    options.applyLevel === 'avoidInFunctionArgs' &&\n    tsm.Node.isCallExpression(node)\n  ) {\n    return;\n  }\n\n  if (node.isKind(tsm.SyntaxKind.VariableDeclaration)) {\n    const nodeName = node.getName();\n\n    // check for ignorePrefix\n    if (options.ignoredPrefixes.some((p) => nodeName.startsWith(p))) {\n      // Skip conversion for variable declarations with ignored prefixes\n      // Example: const mut_foo: string[] = []; -> remains as is, without appending `as const`\n      options.debugPrint('skipped variable declaration by ignorePrefixes');\n\n      return;\n    }\n\n    const variableStatement = node.getVariableStatement();\n\n    if (\n      variableStatement !== undefined &&\n      hasDisableNextLineComment(variableStatement, TRANSFORMER_NAME)\n    ) {\n      return;\n    }\n\n    const initializer = node.getInitializer();\n\n    if (initializer === undefined) {\n      return;\n    }\n\n    const declarationKindKeywords = node\n      .getVariableStatement()\n      ?.getDeclarationKindKeywords()\n      .map((k) => k.getText());\n\n    if (\n      declarationKindKeywords !== undefined &&\n      Arr.isFixedLengthArray(1, declarationKindKeywords)\n    ) {\n      transformNode(\n        initializer,\n        {\n          isDirectUnderConstInitializer: declarationKindKeywords[0] === 'const',\n          isUnderConstContext: false,\n        },\n        options,\n      );\n\n      return;\n    }\n\n    // const [a, b] = ...;\n    // TODO: Support ignoredPrefixes in ArrayBindingPattern\n    // if (ts.isArrayBindingPattern(nodeName)) {\n    //   // for (const [i, el] of nodeName.elements.entries())\n    // }\n\n    // const { x, y } = ...;\n    // TODO: Support ignoredPrefixes in ObjectBindingPattern\n    // if (ts.isObjectBindingPattern(nodeName)) {\n    //   // for (const [i, el] of nodeName.elements.entries())\n    // }\n  }\n\n  // Skip already type asserted nodes\n  if (tsm.Node.isAsExpression(node) && !isAsConstNode(node)) {\n    return;\n  }\n\n  // pass by ([(X)] -> X)\n  if (tsm.Node.isParenthesizedExpression(node)) {\n    transformNode(node.getExpression(), context, options);\n\n    return;\n  }\n\n  // pass by ([X satisfies ...] -> X)\n  if (tsm.Node.isSatisfiesExpression(node)) {\n    transformNode(node.getExpression(), context, options);\n\n    return;\n  }\n\n  // pass by property initializer ([key: value] -> value)\n  if (tsm.Node.isPropertyAssignment(node)) {\n    const initializer = node.getInitializer();\n\n    if (initializer !== undefined) {\n      transformNode(initializer, context, options);\n    }\n\n    return;\n  }\n\n  // pass by arrow function body ([() => X] -> X)\n  if (tsm.Node.isArrowFunction(node)) {\n    const body = node.getBody();\n\n    transformNode(body, context, options);\n\n    return;\n  }\n\n  // pass by spread element ([...X] -> X)\n  if (tsm.Node.isSpreadElement(node)) {\n    transformNode(node.getExpression(), context, options);\n\n    return;\n  }\n\n  if (\n    node.isKind(tsm.SyntaxKind.NoSubstitutionTemplateLiteral) || // `abc`\n    node.isKind(tsm.SyntaxKind.NumericLiteral) || // 123\n    node.isKind(tsm.SyntaxKind.BigIntLiteral) || // 123n\n    node.isKind(tsm.SyntaxKind.StringLiteral) || // 'abc'\n    node.isKind(tsm.SyntaxKind.TrueKeyword) || // true\n    node.isKind(tsm.SyntaxKind.FalseKeyword) // false\n  ) {\n    if (\n      !context.isDirectUnderConstInitializer &&\n      !context.isUnderConstContext\n    ) {\n      options.replaceNode(node, `${node.getText()} as const`);\n    }\n\n    return;\n  }\n\n  if (node.isKind(tsm.SyntaxKind.TemplateExpression)) {\n    if (!context.isUnderConstContext) {\n      options.replaceNode(node, `${node.getText()} as const`);\n    }\n\n    return;\n  }\n\n  if (tsm.Node.isArrayLiteralExpression(node)) {\n    for (const el of node.getElements()) {\n      transformNode(\n        el,\n        {\n          isUnderConstContext: true, // [...] as const\n          isDirectUnderConstInitializer: false,\n        },\n        options,\n      );\n    }\n\n    if (!context.isUnderConstContext) {\n      options.replaceNode(node, `${node.getText()} as const`);\n    }\n\n    return;\n  }\n\n  if (tsm.Node.isObjectLiteralExpression(node)) {\n    for (const el of node.getProperties()) {\n      transformNode(\n        el,\n        {\n          isUnderConstContext: true, // {...} as const\n          isDirectUnderConstInitializer: false,\n        },\n        options,\n      );\n    }\n\n    if (!context.isUnderConstContext) {\n      options.replaceNode(node, `${node.getText()} as const`);\n    }\n\n    return;\n  }\n\n  // `as const` node\n  if (isAsConstNode(node)) {\n    if (context.isDirectUnderConstInitializer) {\n      // In const variable declarations, remove `as const` first and then re-append it later if needed\n\n      transformNode(\n        node.getExpression(),\n        {\n          isUnderConstContext: false,\n          isDirectUnderConstInitializer: true,\n        },\n        options,\n      );\n\n      options.replaceNode(\n        node,\n        // The expression may be marked \"as const\"\n        node.getExpression().getText(),\n      ); // remove `as const`\n\n      return;\n    }\n\n    if (context.isUnderConstContext) {\n      transformNode(\n        node.getExpression(),\n        {\n          isUnderConstContext: true,\n          isDirectUnderConstInitializer: false,\n        },\n        options,\n      );\n\n      options.replaceNode(\n        node,\n        // The expression may be marked \"as const\"\n        node.getExpression().getText(),\n      ); // remove `as const`\n\n      return;\n    }\n\n    transformNode(\n      node.getExpression(),\n      {\n        isUnderConstContext: true,\n        isDirectUnderConstInitializer: false,\n      },\n      options,\n    );\n\n    return;\n  }\n\n  if (tsm.Node.isConditionalExpression(node)) {\n    // For conditional expressions, traverse both branches in a non-const context\n    transformNode(\n      node.getWhenTrue(),\n      {\n        isDirectUnderConstInitializer: context.isDirectUnderConstInitializer,\n        isUnderConstContext: false,\n      },\n      options,\n    );\n\n    transformNode(\n      node.getWhenFalse(),\n      {\n        isDirectUnderConstInitializer: context.isDirectUnderConstInitializer,\n        isUnderConstContext: false,\n      },\n      options,\n    );\n\n    // return;\n  }\n};\n"],"names":[],"mappings":";;;;;;;AAUA,MAAM,gBAAA,GAAmB,iBAAA;AAElB,MAAM,wBAAA,GAA2B,CACtC,OAAA,KACuB;AACvB,EAAA,MAAM,iBAAiB,IAAA,CAAK,MAAA;AAAA,IAC1B,SAAS,cAAA,IAAkB,CAAC,MAAA,EAAQ,OAAA,EAAS,SAAS,OAAO;AAAA,GAC/D;AAEA,EAAA,MAAM,eAAA,GAA2D;AAAA,IAC/D,UAAA,EAAY,SAAS,UAAA,IAAc,qBAAA;AAAA,IACnC,eAAA,EAAiB,cAAA;AAAA,IAEjB,YAAY,OAAA,EAAS,KAAA,KAAU,IAAA,GAAO,OAAA,CAAQ,QAAQ,MAAM;AAAA,IAAC,CAAA;AAAA,IAC7D,WAAA,EACE,OAAA,EAAS,KAAA,KAAU,IAAA,GACf,yBAAA,GACA,CAAC,IAAA,EAAM,WAAA,KAAgB,IAAA,CAAK,eAAA,CAAgB,WAAW;AAAA,GAC/D;AAEA,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,gBAAA;AAAA,IACN,SAAA,EAAW,CAAC,SAAA,KAAc;AACxB,MAAA,KAAA,MAAW,QAAQ,SAAA,CAAU,oBAAA;AAAA,QAC3B,IAAI,UAAA,CAAW;AAAA,OACjB,EAAG;AACD,QAAA,aAAA;AAAA,UACE,IAAA;AAAA,UACA;AAAA,YACE,mBAAA,EAAqB,KAAA;AAAA,YACrB,6BAAA,EAA+B;AAAA,WACjC;AAAA,UACA;AAAA,SACF;AAAA,MACF;AAAA,IACF;AAAA,GACF;AACF;AA+CA,MAAM,aAAA,GAAgB,CACpB,IAAA,EACA,OAAA,EACA,OAAA,KACS;AACT,EAAA,IAAI,IAAA,CAAK,cAAa,EAAG;AACvB,IAAA;AAAA,EACF;AAEA,EAAA,OAAA,CAAQ,UAAA,CAAW,KAAK,WAAA,EAAY,EAAG,KAAK,OAAA,EAAQ,EAAG,EAAE,OAAA,EAAS,CAAA;AAElE,EAAA,IAAI,yBAAA,CAA0B,IAAA,EAAM,gBAAgB,CAAA,EAAG;AACrD,IAAA,OAAA,CAAQ,WAAW,sCAAsC,CAAA;AAEzD,IAAA;AAAA,EACF;AAEA,EAAA,IACE,QAAQ,UAAA,KAAe,qBAAA,IACvB,IAAI,IAAA,CAAK,gBAAA,CAAiB,IAAI,CAAA,EAC9B;AACA,IAAA;AAAA,EACF;AAEA,EAAA,IAAI,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,mBAAmB,CAAA,EAAG;AACnD,IAAA,MAAM,QAAA,GAAW,KAAK,OAAA,EAAQ;AAG9B,IAAA,IAAI,OAAA,CAAQ,gBAAgB,IAAA,CAAK,CAAC,MAAM,QAAA,CAAS,UAAA,CAAW,CAAC,CAAC,CAAA,EAAG;AAG/D,MAAA,OAAA,CAAQ,WAAW,gDAAgD,CAAA;AAEnE,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,iBAAA,GAAoB,KAAK,oBAAA,EAAqB;AAEpD,IAAA,IACE,iBAAA,KAAsB,MAAA,IACtB,yBAAA,CAA0B,iBAAA,EAAmB,gBAAgB,CAAA,EAC7D;AACA,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,WAAA,GAAc,KAAK,cAAA,EAAe;AAExC,IAAA,IAAI,gBAAgB,MAAA,EAAW;AAC7B,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,uBAAA,GAA0B,IAAA,CAC7B,oBAAA,EAAqB,EACpB,0BAAA,EAA2B,CAC5B,GAAA,CAAI,CAAC,CAAA,KAAM,CAAA,CAAE,OAAA,EAAS,CAAA;AAEzB,IAAA,IACE,4BAA4B,MAAA,IAC5B,GAAA,CAAI,kBAAA,CAAmB,CAAA,EAAG,uBAAuB,CAAA,EACjD;AACA,MAAA,aAAA;AAAA,QACE,WAAA;AAAA,QACA;AAAA,UACE,6BAAA,EAA+B,uBAAA,CAAwB,CAAC,CAAA,KAAM,OAAA;AAAA,UAC9D,mBAAA,EAAqB;AAAA,SACvB;AAAA,QACA;AAAA,OACF;AAEA,MAAA;AAAA,IACF;AAAA,EAaF;AAGA,EAAA,IAAI,GAAA,CAAI,KAAK,cAAA,CAAe,IAAI,KAAK,CAAC,aAAA,CAAc,IAAI,CAAA,EAAG;AACzD,IAAA;AAAA,EACF;AAGA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,yBAAA,CAA0B,IAAI,CAAA,EAAG;AAC5C,IAAA,aAAA,CAAc,IAAA,CAAK,aAAA,EAAc,EAAG,OAAA,EAAS,OAAO,CAAA;AAEpD,IAAA;AAAA,EACF;AAGA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,qBAAA,CAAsB,IAAI,CAAA,EAAG;AACxC,IAAA,aAAA,CAAc,IAAA,CAAK,aAAA,EAAc,EAAG,OAAA,EAAS,OAAO,CAAA;AAEpD,IAAA;AAAA,EACF;AAGA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,oBAAA,CAAqB,IAAI,CAAA,EAAG;AACvC,IAAA,MAAM,WAAA,GAAc,KAAK,cAAA,EAAe;AAExC,IAAA,IAAI,gBAAgB,MAAA,EAAW;AAC7B,MAAA,aAAA,CAAc,WAAA,EAAa,SAAS,OAAO,CAAA;AAAA,IAC7C;AAEA,IAAA;AAAA,EACF;AAGA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,eAAA,CAAgB,IAAI,CAAA,EAAG;AAClC,IAAA,MAAM,IAAA,GAAO,KAAK,OAAA,EAAQ;AAE1B,IAAA,aAAA,CAAc,IAAA,EAAM,SAAS,OAAO,CAAA;AAEpC,IAAA;AAAA,EACF;AAGA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,eAAA,CAAgB,IAAI,CAAA,EAAG;AAClC,IAAA,aAAA,CAAc,IAAA,CAAK,aAAA,EAAc,EAAG,OAAA,EAAS,OAAO,CAAA;AAEpD,IAAA;AAAA,EACF;AAEA,EAAA,IACE,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,6BAA6B,CAAA;AAAA,EACxD,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,cAAc,CAAA;AAAA,EACzC,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,aAAa,CAAA;AAAA,EACxC,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,aAAa,CAAA;AAAA,EACxC,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,WAAW,CAAA;AAAA,EACtC,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,YAAY,CAAA,EACvC;AACA,IAAA,IACE,CAAC,OAAA,CAAQ,6BAAA,IACT,CAAC,QAAQ,mBAAA,EACT;AACA,MAAA,OAAA,CAAQ,YAAY,IAAA,EAAM,CAAA,EAAG,IAAA,CAAK,OAAA,EAAS,CAAA,SAAA,CAAW,CAAA;AAAA,IACxD;AAEA,IAAA;AAAA,EACF;AAEA,EAAA,IAAI,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,kBAAkB,CAAA,EAAG;AAClD,IAAA,IAAI,CAAC,QAAQ,mBAAA,EAAqB;AAChC,MAAA,OAAA,CAAQ,YAAY,IAAA,EAAM,CAAA,EAAG,IAAA,CAAK,OAAA,EAAS,CAAA,SAAA,CAAW,CAAA;AAAA,IACxD;AAEA,IAAA;AAAA,EACF;AAEA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,wBAAA,CAAyB,IAAI,CAAA,EAAG;AAC3C,IAAA,KAAA,MAAW,EAAA,IAAM,IAAA,CAAK,WAAA,EAAY,EAAG;AACnC,MAAA,aAAA;AAAA,QACE,EAAA;AAAA,QACA;AAAA,UACE,mBAAA,EAAqB,IAAA;AAAA;AAAA,UACrB,6BAAA,EAA+B;AAAA,SACjC;AAAA,QACA;AAAA,OACF;AAAA,IACF;AAEA,IAAA,IAAI,CAAC,QAAQ,mBAAA,EAAqB;AAChC,MAAA,OAAA,CAAQ,YAAY,IAAA,EAAM,CAAA,EAAG,IAAA,CAAK,OAAA,EAAS,CAAA,SAAA,CAAW,CAAA;AAAA,IACxD;AAEA,IAAA;AAAA,EACF;AAEA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,yBAAA,CAA0B,IAAI,CAAA,EAAG;AAC5C,IAAA,KAAA,MAAW,EAAA,IAAM,IAAA,CAAK,aAAA,EAAc,EAAG;AACrC,MAAA,aAAA;AAAA,QACE,EAAA;AAAA,QACA;AAAA,UACE,mBAAA,EAAqB,IAAA;AAAA;AAAA,UACrB,6BAAA,EAA+B;AAAA,SACjC;AAAA,QACA;AAAA,OACF;AAAA,IACF;AAEA,IAAA,IAAI,CAAC,QAAQ,mBAAA,EAAqB;AAChC,MAAA,OAAA,CAAQ,YAAY,IAAA,EAAM,CAAA,EAAG,IAAA,CAAK,OAAA,EAAS,CAAA,SAAA,CAAW,CAAA;AAAA,IACxD;AAEA,IAAA;AAAA,EACF;AAGA,EAAA,IAAI,aAAA,CAAc,IAAI,CAAA,EAAG;AACvB,IAAA,IAAI,QAAQ,6BAAA,EAA+B;AAGzC,MAAA,aAAA;AAAA,QACE,KAAK,aAAA,EAAc;AAAA,QACnB;AAAA,UACE,mBAAA,EAAqB,KAAA;AAAA,UACrB,6BAAA,EAA+B;AAAA,SACjC;AAAA,QACA;AAAA,OACF;AAEA,MAAA,OAAA,CAAQ,WAAA;AAAA,QACN,IAAA;AAAA;AAAA,QAEA,IAAA,CAAK,aAAA,EAAc,CAAE,OAAA;AAAQ,OAC/B;AAEA,MAAA;AAAA,IACF;AAEA,IAAA,IAAI,QAAQ,mBAAA,EAAqB;AAC/B,MAAA,aAAA;AAAA,QACE,KAAK,aAAA,EAAc;AAAA,QACnB;AAAA,UACE,mBAAA,EAAqB,IAAA;AAAA,UACrB,6BAAA,EAA+B;AAAA,SACjC;AAAA,QACA;AAAA,OACF;AAEA,MAAA,OAAA,CAAQ,WAAA;AAAA,QACN,IAAA;AAAA;AAAA,QAEA,IAAA,CAAK,aAAA,EAAc,CAAE,OAAA;AAAQ,OAC/B;AAEA,MAAA;AAAA,IACF;AAEA,IAAA,aAAA;AAAA,MACE,KAAK,aAAA,EAAc;AAAA,MACnB;AAAA,QACE,mBAAA,EAAqB,IAAA;AAAA,QACrB,6BAAA,EAA+B;AAAA,OACjC;AAAA,MACA;AAAA,KACF;AAEA,IAAA;AAAA,EACF;AAEA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,uBAAA,CAAwB,IAAI,CAAA,EAAG;AAE1C,IAAA,aAAA;AAAA,MACE,KAAK,WAAA,EAAY;AAAA,MACjB;AAAA,QACE,+BAA+B,OAAA,CAAQ,6BAAA;AAAA,QACvC,mBAAA,EAAqB;AAAA,OACvB;AAAA,MACA;AAAA,KACF;AAEA,IAAA,aAAA;AAAA,MACE,KAAK,YAAA,EAAa;AAAA,MAClB;AAAA,QACE,+BAA+B,OAAA,CAAQ,6BAAA;AAAA,QACvC,mBAAA,EAAqB;AAAA,OACvB;AAAA,MACA;AAAA,KACF;AAAA,EAGF;AACF,CAAA;;;;"}
+{"version":3,"file":"append-as-const.mjs","sources":["../../../src/functions/ast-transformers/append-as-const.mts"],"sourcesContent":["import { Arr, ISet } from 'ts-data-forge';\nimport * as tsm from 'ts-morph';\nimport { type DeepReadonly } from 'ts-type-forge';\nimport {\n  hasDisableNextLineComment,\n  isAsConstNode,\n} from '../functions/index.mjs';\nimport { replaceNodeWithDebugPrint } from '../utils/index.mjs';\nimport { type TsMorphTransformer } from './types.mjs';\n\nconst TRANSFORMER_NAME = 'append-as-const';\n\nexport const appendAsConstTransformer = (\n  options?: AppendAsConstTransformerOptions,\n): TsMorphTransformer => {\n  const ignorePrefixes = ISet.create(\n    options?.ignorePrefixes ?? ['mut_', '#mut_', '_mut_', 'draft'],\n  );\n\n  const optionsInternal: AppendAsConstTransformerOptionsInternal = {\n    applyLevel: options?.applyLevel ?? 'avoidInFunctionArgs',\n    ignoredPrefixes: ignorePrefixes,\n    removeAsConstForConstTypeParameters:\n      options?.removeAsConstForConstTypeParameters ?? true,\n\n    debugPrint: options?.debug === true ? console.debug : () => {},\n    replaceNode:\n      options?.debug === true\n        ? replaceNodeWithDebugPrint\n        : (node, newNodeText) => node.replaceWithText(newNodeText),\n  } as const;\n\n  return {\n    name: TRANSFORMER_NAME,\n    transform: (sourceAst) => {\n      for (const node of sourceAst.getDescendantsOfKind(\n        tsm.SyntaxKind.VariableDeclaration,\n      )) {\n        transformNode(\n          node,\n          {\n            isUnderConstContext: false,\n            isDirectUnderConstInitializer: false,\n          },\n          optionsInternal,\n        );\n      }\n\n      if (optionsInternal.removeAsConstForConstTypeParameters) {\n        removeAsConstInConstTypeParameterArgs(sourceAst, optionsInternal);\n      }\n    },\n  };\n};\n\nexport type AppendAsConstTransformerOptions = DeepReadonly<{\n  /**\n   * @default \"avoidInFunctionArgs\"\n   */\n  applyLevel?: 'all' | 'avoidInFunctionArgs';\n\n  /**\n   * A mute keywords to ignore the readonly conversion.\n   *\n   * (e.g. `\"mut_\"`)\n   *\n   * @default ['mut_', '#mut_', '_mut_', 'draft']\n   */\n  ignorePrefixes?: string[];\n\n  /**\n   * Whether to remove redundant `as const` assertions from call arguments\n   * whose corresponding parameter type is exactly a `const`-modified type\n   * parameter.\n   *\n   * (e.g. `f([1, 2] as const)` becomes `f([1, 2])` for\n   * `function f<const T>(x: T): T`, because the `const` type parameter\n   * already makes TypeScript infer the argument as if it were annotated\n   * with `as const`.)\n   *\n   * Only applies when the callee resolves to a single call signature within\n   * the transformed file itself; imported callees are left as they are.\n   *\n   * @default true\n   */\n  removeAsConstForConstTypeParameters?: boolean;\n\n  debug?: boolean;\n}>;\n\ntype AppendAsConstTransformerOptionsInternal = DeepReadonly<{\n  applyLevel: 'all' | 'avoidInFunctionArgs';\n  ignoredPrefixes: ISet<string>;\n  removeAsConstForConstTypeParameters: boolean;\n\n  debugPrint: (...args: readonly unknown[]) => void;\n  replaceNode: (node: tsm.Node, newNodeText: string) => void;\n}>;\n\ntype AsConstContext = Readonly<{\n  /**\n   * Whether the current node is under an `as const` context.\n   *\n   * (e.g. `[1, 2, {x: 3}] as const`  --> `isUnderConstContext` is true for `[1, 2, {x: 3}]` and its children `{x: 3}`)\n   */\n  isUnderConstContext: boolean;\n\n  /**\n   * Whether the current node is directly under a `const` variable initializer.\n   *\n   * (e.g. `const foo = [1, 2, 3];`  --> `isDirectUnderConstInitializer` is true for `[1, 2, 3]`)\n   */\n  isDirectUnderConstInitializer: boolean;\n}>;\n\nconst transformNode = (\n  node: tsm.Node,\n  context: AsConstContext,\n  options: AppendAsConstTransformerOptionsInternal,\n): void => {\n  if (node.wasForgotten()) {\n    return;\n  }\n\n  options.debugPrint(node.getKindName(), node.getText(), { context });\n\n  if (hasDisableNextLineComment(node, TRANSFORMER_NAME)) {\n    options.debugPrint('skipped by disable-next-line comment');\n\n    return;\n  }\n\n  if (\n    options.applyLevel === 'avoidInFunctionArgs' &&\n    tsm.Node.isCallExpression(node)\n  ) {\n    return;\n  }\n\n  if (node.isKind(tsm.SyntaxKind.VariableDeclaration)) {\n    const nodeName = node.getName();\n\n    // check for ignorePrefix\n    if (options.ignoredPrefixes.some((p) => nodeName.startsWith(p))) {\n      // Skip conversion for variable declarations with ignored prefixes\n      // Example: const mut_foo: string[] = []; -> remains as is, without appending `as const`\n      options.debugPrint('skipped variable declaration by ignorePrefixes');\n\n      return;\n    }\n\n    const variableStatement = node.getVariableStatement();\n\n    if (\n      variableStatement !== undefined &&\n      hasDisableNextLineComment(variableStatement, TRANSFORMER_NAME)\n    ) {\n      return;\n    }\n\n    const initializer = node.getInitializer();\n\n    if (initializer === undefined) {\n      return;\n    }\n\n    const declarationKindKeywords = node\n      .getVariableStatement()\n      ?.getDeclarationKindKeywords()\n      .map((k) => k.getText());\n\n    if (\n      declarationKindKeywords !== undefined &&\n      Arr.isFixedLengthArray(1, declarationKindKeywords)\n    ) {\n      transformNode(\n        initializer,\n        {\n          isDirectUnderConstInitializer: declarationKindKeywords[0] === 'const',\n          isUnderConstContext: false,\n        },\n        options,\n      );\n\n      return;\n    }\n\n    // const [a, b] = ...;\n    // TODO: Support ignoredPrefixes in ArrayBindingPattern\n    // if (ts.isArrayBindingPattern(nodeName)) {\n    //   // for (const [i, el] of nodeName.elements.entries())\n    // }\n\n    // const { x, y } = ...;\n    // TODO: Support ignoredPrefixes in ObjectBindingPattern\n    // if (ts.isObjectBindingPattern(nodeName)) {\n    //   // for (const [i, el] of nodeName.elements.entries())\n    // }\n  }\n\n  // Skip already type asserted nodes\n  if (tsm.Node.isAsExpression(node) && !isAsConstNode(node)) {\n    return;\n  }\n\n  // pass by ([(X)] -> X)\n  if (tsm.Node.isParenthesizedExpression(node)) {\n    transformNode(node.getExpression(), context, options);\n\n    return;\n  }\n\n  // pass by ([X satisfies ...] -> X)\n  if (tsm.Node.isSatisfiesExpression(node)) {\n    transformNode(node.getExpression(), context, options);\n\n    return;\n  }\n\n  // pass by property initializer ([key: value] -> value)\n  if (tsm.Node.isPropertyAssignment(node)) {\n    const initializer = node.getInitializer();\n\n    if (initializer !== undefined) {\n      transformNode(initializer, context, options);\n    }\n\n    return;\n  }\n\n  // pass by arrow function body ([() => X] -> X)\n  if (tsm.Node.isArrowFunction(node)) {\n    const body = node.getBody();\n\n    transformNode(body, context, options);\n\n    return;\n  }\n\n  // pass by spread element ([...X] -> X)\n  if (tsm.Node.isSpreadElement(node)) {\n    transformNode(node.getExpression(), context, options);\n\n    return;\n  }\n\n  if (\n    node.isKind(tsm.SyntaxKind.NoSubstitutionTemplateLiteral) || // `abc`\n    node.isKind(tsm.SyntaxKind.NumericLiteral) || // 123\n    node.isKind(tsm.SyntaxKind.BigIntLiteral) || // 123n\n    node.isKind(tsm.SyntaxKind.StringLiteral) || // 'abc'\n    node.isKind(tsm.SyntaxKind.TrueKeyword) || // true\n    node.isKind(tsm.SyntaxKind.FalseKeyword) // false\n  ) {\n    if (\n      !context.isDirectUnderConstInitializer &&\n      !context.isUnderConstContext\n    ) {\n      options.replaceNode(node, `${node.getText()} as const`);\n    }\n\n    return;\n  }\n\n  if (node.isKind(tsm.SyntaxKind.TemplateExpression)) {\n    if (!context.isUnderConstContext) {\n      options.replaceNode(node, `${node.getText()} as const`);\n    }\n\n    return;\n  }\n\n  if (tsm.Node.isArrayLiteralExpression(node)) {\n    for (const el of node.getElements()) {\n      transformNode(\n        el,\n        {\n          isUnderConstContext: true, // [...] as const\n          isDirectUnderConstInitializer: false,\n        },\n        options,\n      );\n    }\n\n    if (!context.isUnderConstContext) {\n      options.replaceNode(node, `${node.getText()} as const`);\n    }\n\n    return;\n  }\n\n  if (tsm.Node.isObjectLiteralExpression(node)) {\n    for (const el of node.getProperties()) {\n      transformNode(\n        el,\n        {\n          isUnderConstContext: true, // {...} as const\n          isDirectUnderConstInitializer: false,\n        },\n        options,\n      );\n    }\n\n    if (!context.isUnderConstContext) {\n      options.replaceNode(node, `${node.getText()} as const`);\n    }\n\n    return;\n  }\n\n  // `as const` node\n  if (isAsConstNode(node)) {\n    if (context.isDirectUnderConstInitializer) {\n      // In const variable declarations, remove `as const` first and then re-append it later if needed\n\n      transformNode(\n        node.getExpression(),\n        {\n          isUnderConstContext: false,\n          isDirectUnderConstInitializer: true,\n        },\n        options,\n      );\n\n      options.replaceNode(\n        node,\n        // The expression may be marked \"as const\"\n        node.getExpression().getText(),\n      ); // remove `as const`\n\n      return;\n    }\n\n    if (context.isUnderConstContext) {\n      transformNode(\n        node.getExpression(),\n        {\n          isUnderConstContext: true,\n          isDirectUnderConstInitializer: false,\n        },\n        options,\n      );\n\n      options.replaceNode(\n        node,\n        // The expression may be marked \"as const\"\n        node.getExpression().getText(),\n      ); // remove `as const`\n\n      return;\n    }\n\n    transformNode(\n      node.getExpression(),\n      {\n        isUnderConstContext: true,\n        isDirectUnderConstInitializer: false,\n      },\n      options,\n    );\n\n    return;\n  }\n\n  if (tsm.Node.isConditionalExpression(node)) {\n    // For conditional expressions, traverse both branches in a non-const context\n    transformNode(\n      node.getWhenTrue(),\n      {\n        isDirectUnderConstInitializer: context.isDirectUnderConstInitializer,\n        isUnderConstContext: false,\n      },\n      options,\n    );\n\n    transformNode(\n      node.getWhenFalse(),\n      {\n        isDirectUnderConstInitializer: context.isDirectUnderConstInitializer,\n        isUnderConstContext: false,\n      },\n      options,\n    );\n\n    // return;\n  }\n};\n\n/**\n * Removes redundant `as const` assertions from call arguments whose\n * corresponding parameter type is exactly a `const`-modified type parameter\n * (e.g. `f([1, 2] as const)` for `function f<const T>(x: T): T`).\n *\n * A `const` type parameter makes TypeScript treat every inference candidate\n * as if it were annotated with `as const`, so when the parameter type is the\n * bare type parameter itself, removing the assertion cannot change the\n * inferred type. Conservative bail-outs (the `as const` is kept) when:\n *\n * - the callee does not resolve to exactly one call signature (unresolved\n *   imports resolve to none, since each file is transformed in an isolated\n *   single-file project; overloaded functions resolve to several),\n * - the call has explicit type arguments (inference is not involved),\n * - the argument is a spread argument or follows one (its parameter position\n *   is not statically known),\n * - the parameter type is not the bare type parameter (e.g. `readonly T[]`).\n */\nconst removeAsConstInConstTypeParameterArgs = (\n  // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types\n  sourceAst: tsm.SourceFile,\n  options: AppendAsConstTransformerOptionsInternal,\n): void => {\n  // Reversed so that calls nested inside another call's arguments are\n  // processed before the outer call replaces (and thereby forgets) them.\n  for (const call of sourceAst\n    .getDescendantsOfKind(tsm.SyntaxKind.CallExpression)\n    .toReversed()) {\n    if (call.wasForgotten()) {\n      continue;\n    }\n\n    const args = call.getArguments();\n\n    // Cheap syntactic pre-check before touching the type checker\n    if (!args.some(isAsConstNode)) {\n      continue;\n    }\n\n    if (hasDisableNextLineComment(call, TRANSFORMER_NAME)) {\n      continue;\n    }\n\n    const variableStatement = call.getFirstAncestorByKind(\n      tsm.SyntaxKind.VariableStatement,\n    );\n\n    if (\n      variableStatement !== undefined &&\n      hasDisableNextLineComment(variableStatement, TRANSFORMER_NAME)\n    ) {\n      continue;\n    }\n\n    // With explicit type arguments no inference happens, so the `as const`\n    // may be load-bearing for assignability.\n    if (!Arr.isEmpty(call.getTypeArguments())) {\n      continue;\n    }\n\n    const callTarget = resolveSingleSignatureCallTarget(call);\n\n    if (callTarget === undefined) {\n      continue;\n    }\n\n    removeAsConstArgsOfCall(args, callTarget, options);\n  }\n};\n\nconst removeAsConstArgsOfCall = (\n  args: readonly tsm.Node[],\n  // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types\n  callTarget: ResolvedCallTarget,\n  options: AppendAsConstTransformerOptionsInternal,\n): void => {\n  // Argument positions at or after a spread argument cannot be mapped to a\n  // parameter statically.\n  const firstSpreadIndex = args.findIndex((a) =>\n    a.isKind(tsm.SyntaxKind.SpreadElement),\n  );\n\n  const mappableArgCount =\n    firstSpreadIndex === -1 ? args.length : firstSpreadIndex;\n\n  for (const [argumentIndex, argument] of args.entries()) {\n    if (argumentIndex >= mappableArgCount) {\n      return;\n    }\n\n    if (argument.wasForgotten() || !isAsConstNode(argument)) {\n      continue;\n    }\n\n    if (hasDisableNextLineComment(argument, TRANSFORMER_NAME)) {\n      continue;\n    }\n\n    const parameter = getMatchedParameter(callTarget.parameters, argumentIndex);\n\n    if (\n      parameter === undefined ||\n      !isBareConstTypeParameterReference(\n        parameter,\n        callTarget.constTypeParameterNames,\n      )\n    ) {\n      continue;\n    }\n\n    options.debugPrint(\n      'removing redundant as const in const type parameter argument',\n      argument.getText(),\n    );\n\n    options.replaceNode(argument, argument.getExpression().getText());\n  }\n};\n\ntype ResolvedCallTarget = Readonly<{\n  parameters: readonly tsm.ParameterDeclaration[];\n  constTypeParameterNames: ISet<string>;\n}>;\n\n/**\n * Resolves the callee of a call expression to the declaration of its single\n * call signature, and collects the names of that declaration's\n * `const`-modified type parameters.\n *\n * Returns `undefined` when the callee does not resolve to exactly one call\n * signature, the resolved declaration has no parameters or type parameters,\n * or none of the type parameters carry the `const` modifier.\n */\nconst resolveSingleSignatureCallTarget = (\n  // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types\n  call: tsm.CallExpression,\n): ResolvedCallTarget | undefined => {\n  // 0 signatures: the callee is unresolved (e.g. imported, since each file\n  // is transformed in an isolated single-file project).\n  // 2+ signatures: overloads, where removing `as const` could change which\n  // overload is selected.\n  if (\n    !Arr.isFixedLengthArray(\n      1,\n      call.getExpression().getType().getCallSignatures(),\n    )\n  ) {\n    return undefined;\n  }\n\n  const declaration = call\n    .getProject()\n    .getTypeChecker()\n    .getResolvedSignature(call)\n    ?.getDeclaration();\n\n  if (\n    declaration === undefined ||\n    !tsm.Node.isParametered(declaration) ||\n    !tsm.Node.isTypeParametered(declaration)\n  ) {\n    return undefined;\n  }\n\n  // Only type parameters declared on the call's own signature are inferred\n  // at the call site; a `const` type parameter of an enclosing declaration\n  // (e.g. a generic class containing this method) is already fixed there.\n  const constTypeParameterNames = ISet.create(\n    declaration\n      .getTypeParameters()\n      .filter((tp) => tp.hasModifier(tsm.SyntaxKind.ConstKeyword))\n      .map((tp) => tp.getName()),\n  );\n\n  if (constTypeParameterNames.size === 0) {\n    return undefined;\n  }\n\n  return {\n    parameters: declaration.getParameters(),\n    constTypeParameterNames,\n  } as const;\n};\n\nconst getMatchedParameter = (\n  // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types\n  parameters: readonly tsm.ParameterDeclaration[],\n  argumentIndex: number,\n): tsm.ParameterDeclaration | undefined => {\n  if (argumentIndex < parameters.length) {\n    return parameters[argumentIndex];\n  }\n\n  const lastParameter = parameters.at(-1);\n\n  return lastParameter?.isRestParameter() === true ? lastParameter : undefined;\n};\n\n/**\n * Whether the parameter's declared type is exactly a bare reference to one of\n * the given `const`-modified type parameters (i.e. `x: T`, not `x: readonly\n * T[]` or `x: Wrapper<T>` — there the argument expression's own type is still\n * observable, so the `as const` is kept).\n */\nconst isBareConstTypeParameterReference = (\n  // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types\n  parameter: tsm.ParameterDeclaration,\n  constTypeParameterNames: ISet<string>,\n): boolean => {\n  const typeNode = parameter.getTypeNode();\n\n  if (typeNode === undefined) {\n    return false;\n  }\n\n  if (!typeNode.isKind(tsm.SyntaxKind.TypeReference)) {\n    return false;\n  }\n\n  const typeName = typeNode.getTypeName();\n\n  return (\n    typeName.isKind(tsm.SyntaxKind.Identifier) &&\n    Arr.isEmpty(typeNode.getTypeArguments()) &&\n    constTypeParameterNames.has(typeName.getText())\n  );\n};\n"],"names":[],"mappings":";;;;;;;AAUA,MAAM,gBAAA,GAAmB,iBAAA;AAElB,MAAM,wBAAA,GAA2B,CACtC,OAAA,KACuB;AACvB,EAAA,MAAM,iBAAiB,IAAA,CAAK,MAAA;AAAA,IAC1B,SAAS,cAAA,IAAkB,CAAC,MAAA,EAAQ,OAAA,EAAS,SAAS,OAAO;AAAA,GAC/D;AAEA,EAAA,MAAM,eAAA,GAA2D;AAAA,IAC/D,UAAA,EAAY,SAAS,UAAA,IAAc,qBAAA;AAAA,IACnC,eAAA,EAAiB,cAAA;AAAA,IACjB,mCAAA,EACE,SAAS,mCAAA,IAAuC,IAAA;AAAA,IAElD,YAAY,OAAA,EAAS,KAAA,KAAU,IAAA,GAAO,OAAA,CAAQ,QAAQ,MAAM;AAAA,IAAC,CAAA;AAAA,IAC7D,WAAA,EACE,OAAA,EAAS,KAAA,KAAU,IAAA,GACf,yBAAA,GACA,CAAC,IAAA,EAAM,WAAA,KAAgB,IAAA,CAAK,eAAA,CAAgB,WAAW;AAAA,GAC/D;AAEA,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,gBAAA;AAAA,IACN,SAAA,EAAW,CAAC,SAAA,KAAc;AACxB,MAAA,KAAA,MAAW,QAAQ,SAAA,CAAU,oBAAA;AAAA,QAC3B,IAAI,UAAA,CAAW;AAAA,OACjB,EAAG;AACD,QAAA,aAAA;AAAA,UACE,IAAA;AAAA,UACA;AAAA,YACE,mBAAA,EAAqB,KAAA;AAAA,YACrB,6BAAA,EAA+B;AAAA,WACjC;AAAA,UACA;AAAA,SACF;AAAA,MACF;AAEA,MAAA,IAAI,gBAAgB,mCAAA,EAAqC;AACvD,QAAA,qCAAA,CAAsC,WAAW,eAAe,CAAA;AAAA,MAClE;AAAA,IACF;AAAA,GACF;AACF;AA8DA,MAAM,aAAA,GAAgB,CACpB,IAAA,EACA,OAAA,EACA,OAAA,KACS;AACT,EAAA,IAAI,IAAA,CAAK,cAAa,EAAG;AACvB,IAAA;AAAA,EACF;AAEA,EAAA,OAAA,CAAQ,UAAA,CAAW,KAAK,WAAA,EAAY,EAAG,KAAK,OAAA,EAAQ,EAAG,EAAE,OAAA,EAAS,CAAA;AAElE,EAAA,IAAI,yBAAA,CAA0B,IAAA,EAAM,gBAAgB,CAAA,EAAG;AACrD,IAAA,OAAA,CAAQ,WAAW,sCAAsC,CAAA;AAEzD,IAAA;AAAA,EACF;AAEA,EAAA,IACE,QAAQ,UAAA,KAAe,qBAAA,IACvB,IAAI,IAAA,CAAK,gBAAA,CAAiB,IAAI,CAAA,EAC9B;AACA,IAAA;AAAA,EACF;AAEA,EAAA,IAAI,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,mBAAmB,CAAA,EAAG;AACnD,IAAA,MAAM,QAAA,GAAW,KAAK,OAAA,EAAQ;AAG9B,IAAA,IAAI,OAAA,CAAQ,gBAAgB,IAAA,CAAK,CAAC,MAAM,QAAA,CAAS,UAAA,CAAW,CAAC,CAAC,CAAA,EAAG;AAG/D,MAAA,OAAA,CAAQ,WAAW,gDAAgD,CAAA;AAEnE,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,iBAAA,GAAoB,KAAK,oBAAA,EAAqB;AAEpD,IAAA,IACE,iBAAA,KAAsB,MAAA,IACtB,yBAAA,CAA0B,iBAAA,EAAmB,gBAAgB,CAAA,EAC7D;AACA,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,WAAA,GAAc,KAAK,cAAA,EAAe;AAExC,IAAA,IAAI,gBAAgB,MAAA,EAAW;AAC7B,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,uBAAA,GAA0B,IAAA,CAC7B,oBAAA,EAAqB,EACpB,0BAAA,EAA2B,CAC5B,GAAA,CAAI,CAAC,CAAA,KAAM,CAAA,CAAE,OAAA,EAAS,CAAA;AAEzB,IAAA,IACE,4BAA4B,MAAA,IAC5B,GAAA,CAAI,kBAAA,CAAmB,CAAA,EAAG,uBAAuB,CAAA,EACjD;AACA,MAAA,aAAA;AAAA,QACE,WAAA;AAAA,QACA;AAAA,UACE,6BAAA,EAA+B,uBAAA,CAAwB,CAAC,CAAA,KAAM,OAAA;AAAA,UAC9D,mBAAA,EAAqB;AAAA,SACvB;AAAA,QACA;AAAA,OACF;AAEA,MAAA;AAAA,IACF;AAAA,EAaF;AAGA,EAAA,IAAI,GAAA,CAAI,KAAK,cAAA,CAAe,IAAI,KAAK,CAAC,aAAA,CAAc,IAAI,CAAA,EAAG;AACzD,IAAA;AAAA,EACF;AAGA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,yBAAA,CAA0B,IAAI,CAAA,EAAG;AAC5C,IAAA,aAAA,CAAc,IAAA,CAAK,aAAA,EAAc,EAAG,OAAA,EAAS,OAAO,CAAA;AAEpD,IAAA;AAAA,EACF;AAGA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,qBAAA,CAAsB,IAAI,CAAA,EAAG;AACxC,IAAA,aAAA,CAAc,IAAA,CAAK,aAAA,EAAc,EAAG,OAAA,EAAS,OAAO,CAAA;AAEpD,IAAA;AAAA,EACF;AAGA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,oBAAA,CAAqB,IAAI,CAAA,EAAG;AACvC,IAAA,MAAM,WAAA,GAAc,KAAK,cAAA,EAAe;AAExC,IAAA,IAAI,gBAAgB,MAAA,EAAW;AAC7B,MAAA,aAAA,CAAc,WAAA,EAAa,SAAS,OAAO,CAAA;AAAA,IAC7C;AAEA,IAAA;AAAA,EACF;AAGA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,eAAA,CAAgB,IAAI,CAAA,EAAG;AAClC,IAAA,MAAM,IAAA,GAAO,KAAK,OAAA,EAAQ;AAE1B,IAAA,aAAA,CAAc,IAAA,EAAM,SAAS,OAAO,CAAA;AAEpC,IAAA;AAAA,EACF;AAGA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,eAAA,CAAgB,IAAI,CAAA,EAAG;AAClC,IAAA,aAAA,CAAc,IAAA,CAAK,aAAA,EAAc,EAAG,OAAA,EAAS,OAAO,CAAA;AAEpD,IAAA;AAAA,EACF;AAEA,EAAA,IACE,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,6BAA6B,CAAA;AAAA,EACxD,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,cAAc,CAAA;AAAA,EACzC,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,aAAa,CAAA;AAAA,EACxC,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,aAAa,CAAA;AAAA,EACxC,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,WAAW,CAAA;AAAA,EACtC,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,YAAY,CAAA,EACvC;AACA,IAAA,IACE,CAAC,OAAA,CAAQ,6BAAA,IACT,CAAC,QAAQ,mBAAA,EACT;AACA,MAAA,OAAA,CAAQ,YAAY,IAAA,EAAM,CAAA,EAAG,IAAA,CAAK,OAAA,EAAS,CAAA,SAAA,CAAW,CAAA;AAAA,IACxD;AAEA,IAAA;AAAA,EACF;AAEA,EAAA,IAAI,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,kBAAkB,CAAA,EAAG;AAClD,IAAA,IAAI,CAAC,QAAQ,mBAAA,EAAqB;AAChC,MAAA,OAAA,CAAQ,YAAY,IAAA,EAAM,CAAA,EAAG,IAAA,CAAK,OAAA,EAAS,CAAA,SAAA,CAAW,CAAA;AAAA,IACxD;AAEA,IAAA;AAAA,EACF;AAEA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,wBAAA,CAAyB,IAAI,CAAA,EAAG;AAC3C,IAAA,KAAA,MAAW,EAAA,IAAM,IAAA,CAAK,WAAA,EAAY,EAAG;AACnC,MAAA,aAAA;AAAA,QACE,EAAA;AAAA,QACA;AAAA,UACE,mBAAA,EAAqB,IAAA;AAAA;AAAA,UACrB,6BAAA,EAA+B;AAAA,SACjC;AAAA,QACA;AAAA,OACF;AAAA,IACF;AAEA,IAAA,IAAI,CAAC,QAAQ,mBAAA,EAAqB;AAChC,MAAA,OAAA,CAAQ,YAAY,IAAA,EAAM,CAAA,EAAG,IAAA,CAAK,OAAA,EAAS,CAAA,SAAA,CAAW,CAAA;AAAA,IACxD;AAEA,IAAA;AAAA,EACF;AAEA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,yBAAA,CAA0B,IAAI,CAAA,EAAG;AAC5C,IAAA,KAAA,MAAW,EAAA,IAAM,IAAA,CAAK,aAAA,EAAc,EAAG;AACrC,MAAA,aAAA;AAAA,QACE,EAAA;AAAA,QACA;AAAA,UACE,mBAAA,EAAqB,IAAA;AAAA;AAAA,UACrB,6BAAA,EAA+B;AAAA,SACjC;AAAA,QACA;AAAA,OACF;AAAA,IACF;AAEA,IAAA,IAAI,CAAC,QAAQ,mBAAA,EAAqB;AAChC,MAAA,OAAA,CAAQ,YAAY,IAAA,EAAM,CAAA,EAAG,IAAA,CAAK,OAAA,EAAS,CAAA,SAAA,CAAW,CAAA;AAAA,IACxD;AAEA,IAAA;AAAA,EACF;AAGA,EAAA,IAAI,aAAA,CAAc,IAAI,CAAA,EAAG;AACvB,IAAA,IAAI,QAAQ,6BAAA,EAA+B;AAGzC,MAAA,aAAA;AAAA,QACE,KAAK,aAAA,EAAc;AAAA,QACnB;AAAA,UACE,mBAAA,EAAqB,KAAA;AAAA,UACrB,6BAAA,EAA+B;AAAA,SACjC;AAAA,QACA;AAAA,OACF;AAEA,MAAA,OAAA,CAAQ,WAAA;AAAA,QACN,IAAA;AAAA;AAAA,QAEA,IAAA,CAAK,aAAA,EAAc,CAAE,OAAA;AAAQ,OAC/B;AAEA,MAAA;AAAA,IACF;AAEA,IAAA,IAAI,QAAQ,mBAAA,EAAqB;AAC/B,MAAA,aAAA;AAAA,QACE,KAAK,aAAA,EAAc;AAAA,QACnB;AAAA,UACE,mBAAA,EAAqB,IAAA;AAAA,UACrB,6BAAA,EAA+B;AAAA,SACjC;AAAA,QACA;AAAA,OACF;AAEA,MAAA,OAAA,CAAQ,WAAA;AAAA,QACN,IAAA;AAAA;AAAA,QAEA,IAAA,CAAK,aAAA,EAAc,CAAE,OAAA;AAAQ,OAC/B;AAEA,MAAA;AAAA,IACF;AAEA,IAAA,aAAA;AAAA,MACE,KAAK,aAAA,EAAc;AAAA,MACnB;AAAA,QACE,mBAAA,EAAqB,IAAA;AAAA,QACrB,6BAAA,EAA+B;AAAA,OACjC;AAAA,MACA;AAAA,KACF;AAEA,IAAA;AAAA,EACF;AAEA,EAAA,IAAI,GAAA,CAAI,IAAA,CAAK,uBAAA,CAAwB,IAAI,CAAA,EAAG;AAE1C,IAAA,aAAA;AAAA,MACE,KAAK,WAAA,EAAY;AAAA,MACjB;AAAA,QACE,+BAA+B,OAAA,CAAQ,6BAAA;AAAA,QACvC,mBAAA,EAAqB;AAAA,OACvB;AAAA,MACA;AAAA,KACF;AAEA,IAAA,aAAA;AAAA,MACE,KAAK,YAAA,EAAa;AAAA,MAClB;AAAA,QACE,+BAA+B,OAAA,CAAQ,6BAAA;AAAA,QACvC,mBAAA,EAAqB;AAAA,OACvB;AAAA,MACA;AAAA,KACF;AAAA,EAGF;AACF,CAAA;AAoBA,MAAM,qCAAA,GAAwC,CAE5C,SAAA,EACA,OAAA,KACS;AAGT,EAAA,KAAA,MAAW,IAAA,IAAQ,UAChB,oBAAA,CAAqB,GAAA,CAAI,WAAW,cAAc,CAAA,CAClD,YAAW,EAAG;AACf,IAAA,IAAI,IAAA,CAAK,cAAa,EAAG;AACvB,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,IAAA,GAAO,KAAK,YAAA,EAAa;AAG/B,IAAA,IAAI,CAAC,IAAA,CAAK,IAAA,CAAK,aAAa,CAAA,EAAG;AAC7B,MAAA;AAAA,IACF;AAEA,IAAA,IAAI,yBAAA,CAA0B,IAAA,EAAM,gBAAgB,CAAA,EAAG;AACrD,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,oBAAoB,IAAA,CAAK,sBAAA;AAAA,MAC7B,IAAI,UAAA,CAAW;AAAA,KACjB;AAEA,IAAA,IACE,iBAAA,KAAsB,MAAA,IACtB,yBAAA,CAA0B,iBAAA,EAAmB,gBAAgB,CAAA,EAC7D;AACA,MAAA;AAAA,IACF;AAIA,IAAA,IAAI,CAAC,GAAA,CAAI,OAAA,CAAQ,IAAA,CAAK,gBAAA,EAAkB,CAAA,EAAG;AACzC,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,UAAA,GAAa,iCAAiC,IAAI,CAAA;AAExD,IAAA,IAAI,eAAe,MAAA,EAAW;AAC5B,MAAA;AAAA,IACF;AAEA,IAAA,uBAAA,CAAwB,IAAA,EAAM,YAAY,OAAO,CAAA;AAAA,EACnD;AACF,CAAA;AAEA,MAAM,uBAAA,GAA0B,CAC9B,IAAA,EAEA,UAAA,EACA,OAAA,KACS;AAGT,EAAA,MAAM,mBAAmB,IAAA,CAAK,SAAA;AAAA,IAAU,CAAC,CAAA,KACvC,CAAA,CAAE,MAAA,CAAO,GAAA,CAAI,WAAW,aAAa;AAAA,GACvC;AAEA,EAAA,MAAM,gBAAA,GACJ,gBAAA,KAAqB,EAAA,GAAK,IAAA,CAAK,MAAA,GAAS,gBAAA;AAE1C,EAAA,KAAA,MAAW,CAAC,aAAA,EAAe,QAAQ,CAAA,IAAK,IAAA,CAAK,SAAQ,EAAG;AACtD,IAAA,IAAI,iBAAiB,gBAAA,EAAkB;AACrC,MAAA;AAAA,IACF;AAEA,IAAA,IAAI,SAAS,YAAA,EAAa,IAAK,CAAC,aAAA,CAAc,QAAQ,CAAA,EAAG;AACvD,MAAA;AAAA,IACF;AAEA,IAAA,IAAI,yBAAA,CAA0B,QAAA,EAAU,gBAAgB,CAAA,EAAG;AACzD,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,SAAA,GAAY,mBAAA,CAAoB,UAAA,CAAW,UAAA,EAAY,aAAa,CAAA;AAE1E,IAAA,IACE,SAAA,KAAc,UACd,CAAC,iCAAA;AAAA,MACC,SAAA;AAAA,MACA,UAAA,CAAW;AAAA,KACb,EACA;AACA,MAAA;AAAA,IACF;AAEA,IAAA,OAAA,CAAQ,UAAA;AAAA,MACN,8DAAA;AAAA,MACA,SAAS,OAAA;AAAQ,KACnB;AAEA,IAAA,OAAA,CAAQ,YAAY,QAAA,EAAU,QAAA,CAAS,aAAA,EAAc,CAAE,SAAS,CAAA;AAAA,EAClE;AACF,CAAA;AAgBA,MAAM,gCAAA,GAAmC,CAEvC,IAAA,KACmC;AAKnC,EAAA,IACE,CAAC,GAAA,CAAI,kBAAA;AAAA,IACH,CAAA;AAAA,IACA,IAAA,CAAK,aAAA,EAAc,CAAE,OAAA,GAAU,iBAAA;AAAkB,GACnD,EACA;AACA,IAAA,OAAO,MAAA;AAAA,EACT;AAEA,EAAA,MAAM,WAAA,GAAc,KACjB,UAAA,EAAW,CACX,gBAAe,CACf,oBAAA,CAAqB,IAAI,CAAA,EACxB,cAAA,EAAe;AAEnB,EAAA,IACE,WAAA,KAAgB,MAAA,IAChB,CAAC,GAAA,CAAI,IAAA,CAAK,aAAA,CAAc,WAAW,CAAA,IACnC,CAAC,GAAA,CAAI,IAAA,CAAK,iBAAA,CAAkB,WAAW,CAAA,EACvC;AACA,IAAA,OAAO,MAAA;AAAA,EACT;AAKA,EAAA,MAAM,0BAA0B,IAAA,CAAK,MAAA;AAAA,IACnC,YACG,iBAAA,EAAkB,CAClB,OAAO,CAAC,EAAA,KAAO,GAAG,WAAA,CAAY,GAAA,CAAI,UAAA,CAAW,YAAY,CAAC,CAAA,CAC1D,GAAA,CAAI,CAAC,EAAA,KAAO,EAAA,CAAG,SAAS;AAAA,GAC7B;AAEA,EAAA,IAAI,uBAAA,CAAwB,SAAS,CAAA,EAAG;AACtC,IAAA,OAAO,MAAA;AAAA,EACT;AAEA,EAAA,OAAO;AAAA,IACL,UAAA,EAAY,YAAY,aAAA,EAAc;AAAA,IACtC;AAAA,GACF;AACF,CAAA;AAEA,MAAM,mBAAA,GAAsB,CAE1B,UAAA,EACA,aAAA,KACyC;AACzC,EAAA,IAAI,aAAA,GAAgB,WAAW,MAAA,EAAQ;AACrC,IAAA,OAAO,WAAW,aAAa,CAAA;AAAA,EACjC;AAEA,EAAA,MAAM,aAAA,GAAgB,UAAA,CAAW,EAAA,CAAG,EAAE,CAAA;AAEtC,EAAA,OAAO,aAAA,EAAe,eAAA,EAAgB,KAAM,IAAA,GAAO,aAAA,GAAgB,MAAA;AACrE,CAAA;AAQA,MAAM,iCAAA,GAAoC,CAExC,SAAA,EACA,uBAAA,KACY;AACZ,EAAA,MAAM,QAAA,GAAW,UAAU,WAAA,EAAY;AAEvC,EAAA,IAAI,aAAa,MAAA,EAAW;AAC1B,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI,CAAC,QAAA,CAAS,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,aAAa,CAAA,EAAG;AAClD,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,MAAM,QAAA,GAAW,SAAS,WAAA,EAAY;AAEtC,EAAA,OACE,SAAS,MAAA,CAAO,GAAA,CAAI,UAAA,CAAW,UAAU,KACzC,GAAA,CAAI,OAAA,CAAQ,QAAA,CAAS,gBAAA,EAAkB,CAAA,IACvC,uBAAA,CAAwB,GAAA,CAAI,QAAA,CAAS,SAAS,CAAA;AAElD,CAAA;;;;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-codemod-lib",
-  "version": "3.1.1",
+  "version": "3.2.0",
   "private": false,
   "keywords": [
     "typescript",

package/src/functions/ast-transformers/append-as-const.mts

@@ -20,6 +20,8 @@ export const appendAsConstTransformer = (
   const optionsInternal: AppendAsConstTransformerOptionsInternal = {
     applyLevel: options?.applyLevel ?? 'avoidInFunctionArgs',
     ignoredPrefixes: ignorePrefixes,
+    removeAsConstForConstTypeParameters:
+      options?.removeAsConstForConstTypeParameters ?? true,
 
     debugPrint: options?.debug === true ? console.debug : () => {},
     replaceNode:
@@ -43,6 +45,10 @@ export const appendAsConstTransformer = (
           optionsInternal,
         );
       }
+
+      if (optionsInternal.removeAsConstForConstTypeParameters) {
+        removeAsConstInConstTypeParameterArgs(sourceAst, optionsInternal);
+      }
     },
   };
 };
@@ -62,8 +68,22 @@ export type AppendAsConstTransformerOptions = DeepReadonly<{
    */
   ignorePrefixes?: string[];
 
-  // TODO
-  // ignoreConstTypeParameter?: boolean;
+  /**
+   * Whether to remove redundant `as const` assertions from call arguments
+   * whose corresponding parameter type is exactly a `const`-modified type
+   * parameter.
+   *
+   * (e.g. `f([1, 2] as const)` becomes `f([1, 2])` for
+   * `function f<const T>(x: T): T`, because the `const` type parameter
+   * already makes TypeScript infer the argument as if it were annotated
+   * with `as const`.)
+   *
+   * Only applies when the callee resolves to a single call signature within
+   * the transformed file itself; imported callees are left as they are.
+   *
+   * @default true
+   */
+  removeAsConstForConstTypeParameters?: boolean;
 
   debug?: boolean;
 }>;
@@ -71,6 +91,7 @@ export type AppendAsConstTransformerOptions = DeepReadonly<{
 type AppendAsConstTransformerOptionsInternal = DeepReadonly<{
   applyLevel: 'all' | 'avoidInFunctionArgs';
   ignoredPrefixes: ISet<string>;
+  removeAsConstForConstTypeParameters: boolean;
 
   debugPrint: (...args: readonly unknown[]) => void;
   replaceNode: (node: tsm.Node, newNodeText: string) => void;
@@ -364,3 +385,231 @@ const transformNode = (
     // return;
   }
 };
+
+/**
+ * Removes redundant `as const` assertions from call arguments whose
+ * corresponding parameter type is exactly a `const`-modified type parameter
+ * (e.g. `f([1, 2] as const)` for `function f<const T>(x: T): T`).
+ *
+ * A `const` type parameter makes TypeScript treat every inference candidate
+ * as if it were annotated with `as const`, so when the parameter type is the
+ * bare type parameter itself, removing the assertion cannot change the
+ * inferred type. Conservative bail-outs (the `as const` is kept) when:
+ *
+ * - the callee does not resolve to exactly one call signature (unresolved
+ *   imports resolve to none, since each file is transformed in an isolated
+ *   single-file project; overloaded functions resolve to several),
+ * - the call has explicit type arguments (inference is not involved),
+ * - the argument is a spread argument or follows one (its parameter position
+ *   is not statically known),
+ * - the parameter type is not the bare type parameter (e.g. `readonly T[]`).
+ */
+const removeAsConstInConstTypeParameterArgs = (
+  // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+  sourceAst: tsm.SourceFile,
+  options: AppendAsConstTransformerOptionsInternal,
+): void => {
+  // Reversed so that calls nested inside another call's arguments are
+  // processed before the outer call replaces (and thereby forgets) them.
+  for (const call of sourceAst
+    .getDescendantsOfKind(tsm.SyntaxKind.CallExpression)
+    .toReversed()) {
+    if (call.wasForgotten()) {
+      continue;
+    }
+
+    const args = call.getArguments();
+
+    // Cheap syntactic pre-check before touching the type checker
+    if (!args.some(isAsConstNode)) {
+      continue;
+    }
+
+    if (hasDisableNextLineComment(call, TRANSFORMER_NAME)) {
+      continue;
+    }
+
+    const variableStatement = call.getFirstAncestorByKind(
+      tsm.SyntaxKind.VariableStatement,
+    );
+
+    if (
+      variableStatement !== undefined &&
+      hasDisableNextLineComment(variableStatement, TRANSFORMER_NAME)
+    ) {
+      continue;
+    }
+
+    // With explicit type arguments no inference happens, so the `as const`
+    // may be load-bearing for assignability.
+    if (!Arr.isEmpty(call.getTypeArguments())) {
+      continue;
+    }
+
+    const callTarget = resolveSingleSignatureCallTarget(call);
+
+    if (callTarget === undefined) {
+      continue;
+    }
+
+    removeAsConstArgsOfCall(args, callTarget, options);
+  }
+};
+
+const removeAsConstArgsOfCall = (
+  args: readonly tsm.Node[],
+  // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+  callTarget: ResolvedCallTarget,
+  options: AppendAsConstTransformerOptionsInternal,
+): void => {
+  // Argument positions at or after a spread argument cannot be mapped to a
+  // parameter statically.
+  const firstSpreadIndex = args.findIndex((a) =>
+    a.isKind(tsm.SyntaxKind.SpreadElement),
+  );
+
+  const mappableArgCount =
+    firstSpreadIndex === -1 ? args.length : firstSpreadIndex;
+
+  for (const [argumentIndex, argument] of args.entries()) {
+    if (argumentIndex >= mappableArgCount) {
+      return;
+    }
+
+    if (argument.wasForgotten() || !isAsConstNode(argument)) {
+      continue;
+    }
+
+    if (hasDisableNextLineComment(argument, TRANSFORMER_NAME)) {
+      continue;
+    }
+
+    const parameter = getMatchedParameter(callTarget.parameters, argumentIndex);
+
+    if (
+      parameter === undefined ||
+      !isBareConstTypeParameterReference(
+        parameter,
+        callTarget.constTypeParameterNames,
+      )
+    ) {
+      continue;
+    }
+
+    options.debugPrint(
+      'removing redundant as const in const type parameter argument',
+      argument.getText(),
+    );
+
+    options.replaceNode(argument, argument.getExpression().getText());
+  }
+};
+
+type ResolvedCallTarget = Readonly<{
+  parameters: readonly tsm.ParameterDeclaration[];
+  constTypeParameterNames: ISet<string>;
+}>;
+
+/**
+ * Resolves the callee of a call expression to the declaration of its single
+ * call signature, and collects the names of that declaration's
+ * `const`-modified type parameters.
+ *
+ * Returns `undefined` when the callee does not resolve to exactly one call
+ * signature, the resolved declaration has no parameters or type parameters,
+ * or none of the type parameters carry the `const` modifier.
+ */
+const resolveSingleSignatureCallTarget = (
+  // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+  call: tsm.CallExpression,
+): ResolvedCallTarget | undefined => {
+  // 0 signatures: the callee is unresolved (e.g. imported, since each file
+  // is transformed in an isolated single-file project).
+  // 2+ signatures: overloads, where removing `as const` could change which
+  // overload is selected.
+  if (
+    !Arr.isFixedLengthArray(
+      1,
+      call.getExpression().getType().getCallSignatures(),
+    )
+  ) {
+    return undefined;
+  }
+
+  const declaration = call
+    .getProject()
+    .getTypeChecker()
+    .getResolvedSignature(call)
+    ?.getDeclaration();
+
+  if (
+    declaration === undefined ||
+    !tsm.Node.isParametered(declaration) ||
+    !tsm.Node.isTypeParametered(declaration)
+  ) {
+    return undefined;
+  }
+
+  // Only type parameters declared on the call's own signature are inferred
+  // at the call site; a `const` type parameter of an enclosing declaration
+  // (e.g. a generic class containing this method) is already fixed there.
+  const constTypeParameterNames = ISet.create(
+    declaration
+      .getTypeParameters()
+      .filter((tp) => tp.hasModifier(tsm.SyntaxKind.ConstKeyword))
+      .map((tp) => tp.getName()),
+  );
+
+  if (constTypeParameterNames.size === 0) {
+    return undefined;
+  }
+
+  return {
+    parameters: declaration.getParameters(),
+    constTypeParameterNames,
+  } as const;
+};
+
+const getMatchedParameter = (
+  // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+  parameters: readonly tsm.ParameterDeclaration[],
+  argumentIndex: number,
+): tsm.ParameterDeclaration | undefined => {
+  if (argumentIndex < parameters.length) {
+    return parameters[argumentIndex];
+  }
+
+  const lastParameter = parameters.at(-1);
+
+  return lastParameter?.isRestParameter() === true ? lastParameter : undefined;
+};
+
+/**
+ * Whether the parameter's declared type is exactly a bare reference to one of
+ * the given `const`-modified type parameters (i.e. `x: T`, not `x: readonly
+ * T[]` or `x: Wrapper<T>` — there the argument expression's own type is still
+ * observable, so the `as const` is kept).
+ */
+const isBareConstTypeParameterReference = (
+  // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+  parameter: tsm.ParameterDeclaration,
+  constTypeParameterNames: ISet<string>,
+): boolean => {
+  const typeNode = parameter.getTypeNode();
+
+  if (typeNode === undefined) {
+    return false;
+  }
+
+  if (!typeNode.isKind(tsm.SyntaxKind.TypeReference)) {
+    return false;
+  }
+
+  const typeName = typeNode.getTypeName();
+
+  return (
+    typeName.isKind(tsm.SyntaxKind.Identifier) &&
+    Arr.isEmpty(typeNode.getTypeArguments()) &&
+    constTypeParameterNames.has(typeName.getText())
+  );
+};

package/src/functions/ast-transformers/append-as-const.test.mts

@@ -11,10 +11,12 @@ import { transformSourceCode } from './transform-source-code.mjs';
 const testFn = async ({
   source,
   expected,
+  options,
   debug,
 }: Readonly<{
   source: string;
   expected: string;
+  options?: Parameters<typeof appendAsConstTransformer>[0];
   debug?: boolean;
 }>): Promise<void> => {
   if (debug !== true) {
@@ -26,7 +28,9 @@ const testFn = async ({
   }
 
   const transformed = await formatter(
-    transformSourceCode(source, false, [appendAsConstTransformer({ debug })]),
+    transformSourceCode(source, false, [
+      appendAsConstTransformer({ ...options, debug }),
+    ]),
   );
 
   const expectedFormatted = await formatter(expected);
@@ -698,6 +702,174 @@ describe(appendAsConstTransformer, () => {
     ])('$name', testFn);
   });
 
+  describe('Redundant as const in const type parameter arguments', () => {
+    test.each([
+      {
+        name: 'const type parameter (function declaration) should remove as const',
+        source: dedent`
+          function f<const T>(x: T): T { return x; }
+          const a = f([1, 2] as const);
+        `,
+        expected: dedent`
+          function f<const T>(x: T): T { return x; }
+          const a = f([1, 2]);
+        `,
+      },
+      {
+        name: 'const type parameter (expression statement call) should remove as const',
+        source: dedent`
+          function f<const T>(x: T): T { return x; }
+          f({ x: 1 } as const);
+        `,
+        expected: dedent`
+          function f<const T>(x: T): T { return x; }
+          f({ x: 1 });
+        `,
+      },
+      {
+        name: 'const type parameter (arrow function) should remove as const',
+        source: dedent`
+          const f = <const S,>(x: S): S => x;
+          const a = f([1, 2] as const);
+        `,
+        expected: dedent`
+          const f = <const S,>(x: S): S => x;
+          const a = f([1, 2]);
+        `,
+      },
+      {
+        name: 'const type parameter (object literal method) should remove as const',
+        source: dedent`
+          const Obj = { m: <const U,>(x: U): U => x } as const;
+          const a = Obj.m([1] as const);
+        `,
+        expected: dedent`
+          const Obj = { m: <const U,>(x: U): U => x } as const;
+          const a = Obj.m([1]);
+        `,
+      },
+      {
+        name: 'const rest type parameter should remove as const',
+        source: dedent`
+          function rest<const T extends readonly unknown[]>(...xs: T): T { return xs; }
+          const r = rest(1 as const, [2, 3] as const);
+        `,
+        expected: dedent`
+          function rest<const T extends readonly unknown[]>(...xs: T): T { return xs; }
+          const r = rest(1, [2, 3]);
+        `,
+      },
+      {
+        name: 'mixed const and non-const type parameters should only remove for const ones',
+        source: dedent`
+          function h<const A, B>(a: A, b: B): A { return a; }
+          const m = h([1] as const, [2] as const);
+        `,
+        expected: dedent`
+          function h<const A, B>(a: A, b: B): A { return a; }
+          const m = h([1], [2] as const);
+        `,
+      },
+      {
+        name: 'non-const type parameter should keep as const',
+        source: dedent`
+          function g<T>(x: T): T { return x; }
+          const b = g([1, 2] as const);
+        `,
+        expected: dedent`
+          function g<T>(x: T): T { return x; }
+          const b = g([1, 2] as const);
+        `,
+      },
+      {
+        name: 'imported callee should keep as const',
+        source: dedent`
+          import { f } from './other.mjs';
+          const a = f([1, 2] as const);
+        `,
+        expected: dedent`
+          import { f } from './other.mjs';
+          const a = f([1, 2] as const);
+        `,
+      },
+      {
+        name: 'overloaded function should keep as const',
+        source: dedent`
+          function ov<const T>(x: T): T;
+          function ov(x: number): number;
+          function ov(x: unknown): unknown { return x; }
+          const e = ov([1] as const);
+        `,
+        expected: dedent`
+          function ov<const T>(x: T): T;
+          function ov(x: number): number;
+          function ov(x: unknown): unknown { return x; }
+          const e = ov([1] as const);
+        `,
+      },
+      {
+        name: 'explicit type arguments should keep as const',
+        source: dedent`
+          function f<const T>(x: T): T { return x; }
+          const j = f<readonly [1, 2]>([1, 2] as const);
+        `,
+        expected: dedent`
+          function f<const T>(x: T): T { return x; }
+          const j = f<readonly [1, 2]>([1, 2] as const);
+        `,
+      },
+      {
+        name: 'non-bare type parameter reference (readonly T[]) should keep as const',
+        source: dedent`
+          function ro<const T>(xs: readonly T[]): T { return xs[0] as T; }
+          const o = ro([1, 2] as const);
+        `,
+        expected: dedent`
+          function ro<const T>(xs: readonly T[]): T { return xs[0] as T; }
+          const o = ro([1, 2] as const);
+        `,
+      },
+      {
+        name: 'argument after spread argument should keep as const',
+        source: dedent`
+          function f<const T>(a: T, b: T): T { return a; }
+          const xs = [1, 2] as const;
+          const s = f(...xs, [3] as const);
+        `,
+        expected: dedent`
+          function f<const T>(a: T, b: T): T { return a; }
+          const xs = [1, 2] as const;
+          const s = f(...xs, [3] as const);
+        `,
+      },
+      {
+        name: 'transformer-ignore-next-line should keep as const',
+        source: dedent`
+          function f<const T>(x: T): T { return x; }
+          // transformer-ignore-next-line
+          const a = f([1, 2] as const);
+        `,
+        expected: dedent`
+          function f<const T>(x: T): T { return x; }
+          // transformer-ignore-next-line
+          const a = f([1, 2] as const);
+        `,
+      },
+      {
+        name: 'removeAsConstForConstTypeParameters: false should keep as const',
+        source: dedent`
+          function f<const T>(x: T): T { return x; }
+          const a = f([1, 2] as const);
+        `,
+        expected: dedent`
+          function f<const T>(x: T): T { return x; }
+          const a = f([1, 2] as const);
+        `,
+        options: { removeAsConstForConstTypeParameters: false },
+      },
+    ])('$name', testFn);
+  });
+
   describe('ignorePrefixes option (mut_ prefix)', () => {
     test.each([
       {