<pre class="shiki github-dark shaku"><code>// The solution is based on the fact that {} lacks explicit keys, so keyof {} is never.type IsEmptyType&lt;T&gt; = string extends T ? // minus object as a non-primitive, as well as null | undefined since they don't have a prototype [keyof T] extends [never] ? // minus other wrapper as they contain prototype props true : false : false;</code></pre>

Simple solution

Implement IsEmptyType<T> to check if T is empty type {}. type A = IsEmptyType<string> // falsetype B = IsEmptyType<{a: 3}> // falsetype C = IsEmptyTyp…