如何定义不接受null/undefined的TypeScript函数？泛型简化疑问

感谢@jcalz的帮助，我写出了能正确工作的isNotNil类型守卫函数：

declare function isNotNil<T extends (null extends T ? never : unknown) & (undefined extends T ? never: unknown)>(param: T): param is T;

这个函数的表现符合预期——当传入null或undefined作为参数时，TypeScript会直接抛出类型错误，实现了过滤空值的类型守卫效果。

不过当我尝试简化这个函数的泛型约束，改成下面的写法时：

declare function isNotNil<T extends ((null | undefined) extends T ? never : unknown)>(param: T): param is T;

这种写法完全失效了——传入null或undefined时不会触发任何类型报错，无法起到预期的类型守卫作用。

内容的提问来源于stack exchange，提问作者Freewind