How to create a type function that checks whether a type is empty object in TypeScript?

Question

Is it possible to create a type function IsEmpty such that:

type a = IsEmpty<{}> // true
type b = IsEmpty<{x: 1}> // never

Answer 1

type IsEmpty<T> = {} extends T ? true : never;

see conditional type