If the type T accepts type never, output type Y, otherwise output type N.
never
如果类型 T 接受类型 never，则输出类型 Y，否则输出类型 N。
要检查的类型
类型为 never 时返回的类型
类型不为 never 时返回的类型
If the type T accepts type
never, output type Y, otherwise output type N.如果类型 T 接受类型
never，则输出类型 Y，否则输出类型 N。