record型が空かどうかの判定をする

type IsEmpty<T> = [T] extends [Record<string, never>] ? true : false;

type IsEmpty<T> = keyof T extends never ? true : false;

type IsEmpty<T> = T extends Record<string, never> ? true : false;

type A1 = IsEmpty<{ a: string }>; // false
type A2 = IsEmpty<{ 2: string }>; // false
type A3 = IsEmpty<{}>; // true

  test('IsEmpty', () => {
    expectTypeOf<IsEmpty<{ a: true }>>().toEqualTypeOf<false>();
    expectTypeOf<IsEmpty<{}>>().toEqualTypeOf<true>();

    expectTypeOf<IsEmpty<{ a: true } | { a: false }>>().toEqualTypeOf<false>();
    expectTypeOf<IsEmpty<{} | {}>>().toEqualTypeOf<true>();
    expectTypeOf<IsEmpty<{} | { a: true }>>().toEqualTypeOf<false>();
  });