If the type T accepts type never, output type Y, otherwise output type N.
never
如果类型 T 接受类型 never,则输出类型 Y,否则输出类型 N。
If the type T accepts type
never, output type Y, otherwise output type N.如果类型 T 接受类型
never,则输出类型 Y,否则输出类型 N。