Question

type TypeChain = never extends 'wangxiaobai'
  ? 'wangxiaobai' extends 'wangxiaobai' | '18'
    ? 'wangxiaobai' | '18' extends string
      ? string extends String
        ? String extends Object
          ? Object extends any
            ? any extends unknown
              ? unknown extends any
                ? 8
                : 7
              :6
            :5
          :4
        :3
      :2
    :1
  :0

其返回的结果为 8 ，也就意味着所有条件均成立。

还可以构造出一条更长的类型层级链：

type VerboseTypeChain = never extends 'wangxiaobai'
  ? 'wangxiaobai' extends 'wangxiaobai' | '18'
    ? 'wangxiaobai' | '18' extends string
      ? string extends {}
        ? string extends String
          ? String extends {}
            ? {} extends object
              ? object extends {}
                ? {} extends Object
                  ? Object extends {}
                    ? object extends Object
                      ? Object extends object
                        ? Object extends any
                          ? Object extends unknown
                            ? any extends unknown
                              ? unknown extends any
                                ? 8
                                : 7
                              : 6
                            : 5
                          : 4
                        : 3
                      : 2
                    : 1
                  : 0
                : -1
              : -2
            : -3
          : -4
        : -5
      : -6
    : -7
  : -8

结果仍然为 8 。