TypeScript确实不想禁止any匹配类型，因为这是any的全部意义所在。您可能需要重新考虑依赖于拒绝any的任何代码，所以要谨慎行事。
也就是说，您可以使用条件类型为any构建一个检测器，然后使用该检测器来禁止any变量。
这是探测器：

type IfAny<T, Y, N> = 0 extends (1 & T) ? Y : N;

不满足类型约束0 extends 1（0不能赋值给1），所以0 extends (1 & T)应该也不可能满足，因为(1 & T)应该比1还要窄，但是当T为any时，它将0 extends (1 & any)简化为0 extends any，这是满足的。这是因为any是故意不合理的，并且充当几乎所有其他类型的超类型和子类型。因此，IfAny<T, Y, N>检查T是否是any。如果是，它返回Y。如果不是，它返回N。让我们看看它是如何工作的：

type IsAny<T> = IfAny<T, true, false>
const yes: IsAny<any> = true;
const no: IsAny<string> = false;

回想一下，我说过any几乎匹配所有其他类型，唯一不匹配any的类型是never：

declare const any: any;
const never: never = any; // error, any is not assignable to never

为了拒绝any参数，我们也需要这个事实。让我们将f()的第一个签名从

function f(key: undefined): void;

到

function f<K extends IfAny<K, never, undefined>>(key: K): void;

我们已经将key设置为泛型类型K，并将其约束为IfAny<K, never, undefined>。如果K不是any，则该约束只是undefined，因此K只能是所需的undefined。如果K * 是 * any，则该约束变为never。并且由于x1M37N1x不匹配x1M38N1x，因此它将不能满足约束。
当我们使用上面的签名时，您会看到以下行为：

f(undefined); // still works
f(""); // still error, "" is not assignable to undefined

declare var x: any;
f(x); // now error, any is not assignable to never

这正是你想要的
Playground代码链接