TypeScript 版本： 4.0.5
搜索词：

• 类型推断
• extends any
• 条件类型
• 右手边
  预期行为：

type D1 = X1 <O1> 返回 false 。

实际行为：

在下面的代码中，type D1 = X1<O1> 似乎返回 false ,但实际上返回的是 true 。
如果你将 extends any ? 中看似无关的右手边类型更改为 undefined ,它将按预期行为运行。

相关问题：
代码

type X1<T> = IfEq<
  AllKeys1<T>,
  keyof T,
  true,
  false
>;
type X2<T> = IfEq<
  AllKeys2<T>,
  keyof T,
  true,
  false
>;
type IfEq<X, Y, T, E> = [X] extends [Y] ? ([Y] extends [X] ? T : E) : E;
// AllKeys<{ x: ... } | { x: ...; y: ... }> -> "x" | ("x" | "y") -> "x" | "y"
type AllKeys1<O extends Object> = O extends any ? keyof O : never;
type AllKeys2<O extends Object> = O extends any ? keyof O : undefined;
type O1 = { x: string; y: number } | { x: boolean; z: number }
type A1 = AllKeys1<O1> // "x" | "y" | "z"
type A2 = AllKeys2<O1> // "x" | "y" | "z"
type B = keyof O1 // "x"
type C1 = IfEq<A1, B, true, false> // false
type C2 = IfEq<A2, B, true, false> // false
type D1 = X1<O1> // true ???
type D2 = X2<O1> // false
type O2 = { x: string; y: number } | { x: boolean; y: Object }
type E1 = X1<O2> // true
type E2 = X2<O2> // true

输出

"use strict";

编译器选项

{
  "compilerOptions": {
    "noImplicitAny": true,
    "strictNullChecks": true,
    "strictFunctionTypes": true,
    "strictPropertyInitialization": true,
    "strictBindCallApply": true,
    "noImplicitThis": true,
    "noImplicitReturns": true,
    "alwaysStrict": true,
    "esModuleInterop": true,
    "declaration": true,
    "experimentalDecorators": true,
    "emitDecoratorMetadata": true,
    "moduleResolution": 2,
    "target": "ES2017",
    "jsx": "React",
    "module": "ESNext"
  }
}

** playground 链接：**提供