这似乎是因为上下文类型没有流向提供给泛型函数的参数。
上下文类型确实流向；证明：

declare const identity: <T>(x: T) => T;

type User = { name: (x: string) => void };

// Incorrect argument correctly flagged
const value: User = identity({ name: a => a.toUpperCase(3) });

你描述的问题是否存在类型系统观察，还是只是 find all / rename 没有按预期工作？

我错了——你是对的！
问题是find all / rename没有按预期工作吗？
只是这样。
出于兴趣，如果上下文类型确实如你所指出的那样流动，为什么find all / rename不起作用？我想{ name: "bob" }的值没有给定User的类型——TypeScript只是检查它是否可以分配给上下文类型User吗？

你描述的问题是否有类型系统的观察？
实际上，我认为这可能是一个？

declare const identity: <T>(x: T) => T;

type User = { name: string; age?: number };

const value: User = identity({
    name: "bob",
    // Typo. This should be flagged as an error, but it's not.
    ageeeeee: 42,
});

这是一个不同的问题(我认为...),identity首先从其参数中推断出其返回类型，然后其返回类型最终可以分配给{ name: string, age?: number },因此没有多余的属性错误，因为到那时对象字面量不再被认为是“新鲜”的(即它正在检查函数的返回值，而不是直接的对象字面量)。上下文类型User作为推断候选项的优先级可能低于您实际提供的参数。
基本上，多余的属性检查不是正常类型检查流程的一部分，通常依赖于显式类型注解；让您让类型推断的情况通常会绕过它们。

上下文类型化不会过度检查属性(可能令人惊讶)

declare const identity: <T>(x: T) => T;

// Rename here renames alice but not bob
type User = { name: string };

const a: User = { name: "alice" };
const b: User = identity({ name: "bob" });

感谢您的澄清和更新这个问题。
关于我描述的过度属性的行为，您有什么想法吗？这个是否也可以改变/修复？我怀疑这已经是一个其他问题了。
另外，但相关的是，我正在尝试编写一个lint规则来要求对象的类型注解。我的动机和我的工作进度可以在这里找到：typescript-eslint/typescript-eslint#5666 。我已经通过检查 ObjectLiteralExpression 是否有上下文类型并在没有的情况下报告一个lint错误取得了很好的进展，但在上面的场景中，我们将一个对象传递给一个泛型函数时，这种方法不起作用：似乎对象确实有一个上下文类型，但那个上下文类型似乎是从对象本身(而不是context)推断出来的。
这是我目前为止所拥有的内容。您认为这是正确的吗？还是有另一种方法可以捕获这种情况？

const checkObjectHasNoType = (n: ts.ObjectLiteralExpression): boolean => {
  const contextualType = checker.getContextualType(n);
  return (
    contextualType === undefined ||
    /**
* Contextual type is inferred from this object node.
*
* Note: if two nodes are the same node they will be equal by reference.
*
* Examples:
* - object passed as a function argument where the parameter type is generic, e.g.
*   `declare const f: <T>(x: T) => T; f({ prop: 1 });``
* - object as a function return value where the return type is generic, e.g.
*   `[].map(() => ({ prop: 1 }))`
*/
    n === contextualType.getSymbol()?.valueDeclaration
  );
};

这取决于你想要发生什么，但这似乎是正确的方法。