泛型函数参数类型可正确推断，为何仍报参数为any类型的TS错误？

这个报错既不是编辑器异常，也不是TypeScript本身的逻辑偏差，核心是代码触发了严格模式下的noImplicitAny校验，同时本身存在函数签名和实现不匹配的问题。

• 直接触发报错的原因：你给外层createArrayCycle显式写了返回值类型，但内部真正返回的cycle函数，形参func没有补充对应类型注解。严格模式下，没有显式标注类型、上下文推导链路不完整的形参，会被判定为隐式any，直接抛出对应错误。
• 为啥你看到编辑器悬浮的类型推断结果完全正确？这是TypeScript双向类型推断的正常表现：生成悬浮提示的时候，TS会先拿外层你声明的返回类型去匹配内部的函数实现，临时展示匹配后的推导结果，看起来所有类型链路都是通顺的。但落到实际的严格校验环节，因为内部实现的函数形参没有显式标注，还是会按规则触发隐式any的报错。
• 除了触发报错的隐式any问题，原代码还有个隐藏的签名不匹配问题：外层标注的返回值类型写的是函数只会返回T，但实际实现里，传入func参数时，函数会返回func执行后的U类型值。这个签名本身就是错的，就算解决了隐式any的问题，后续调用时还是会报返回值类型不匹配的错误。

修复方式 #

给内部返回的cycle函数补上完整的形参类型标注，同时修正外层的返回值类型，匹配实际的实现逻辑：

export function createArrayCycle<T>(array: T[]): <U>(func?: (arg: T) => U) => T | U {
  let cycleCount = 0;

  return function cycle<U>(func?: (arg: T) => U): T | U {
    if (cycleCount === array.length) {
      cycleCount = 0;
    }

    if (func) {
      return func(array[cycleCount++]);
    }

    return array[cycleCount++];
  };
}

修复后既不会触发隐式any的报错，函数的类型签名也和实际逻辑完全匹配，调用时的类型推导也能保持正确。

内容的提问来源于stack exchange，提问作者JJ3