TypeScript如何实现「不可为潜在空对象」的泛型类型约束

需求说明 #

我需要实现一个可操作任意类型T的函数，唯一约束规则为：若T是对象类型，则该类型不能是潜在可能为空的对象。

第一次实现尝试 #

实现代码如下：

declare function func<T>(o: T extends Record<string, never> ? never : T): void;

测试用例及结果：

• func("string")：校验通过，符合预期
• func({})：校验失败，符合预期
• func<{x?: number}>({})：校验通过，不符合预期（{x?: number}属于潜在空对象，本应被拦截）

第二次实现尝试 #

实现代码如下：

type EmptyObj = Omit<{x: number}, 'x'>

declare function func2<T>(o: T extends EmptyObj ? never : T): void;

测试用例及结果：

• func2("HI")：校验失败，不符合预期（字符串为非对象类型，本应通过校验）
• func2({})：校验失败，符合预期
• func2<{x?: number}>({x: 1})：校验失败，符合预期（{x?: number}属于潜在空对象，本应被拦截）
• func2<{x: number}>({x: 1})：校验失败，不符合预期（{x: number}为必带属性的非空对象，本应通过校验）

原因推测 #

我判断func2校验异常的原因是{}是TypeScript中的顶层类型，所有类型都 extends 它。

核心疑问 #

请问TypeScript是否支持实现我需要的这类类型约束？

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