Utility that makes sure the rest object is empty (according to Typescript) and all properties are used

tsEmptyRestCheck.ts

type NoExtraKeys<T, U extends PropertyKey> = {
  [K in keyof T]: K extends U ? T[K] : never;
};

function tsEmptyRestCheck<
  U extends PropertyKey,
  T extends Record<PropertyKey, unknown>
>(
  _object: NoExtraKeys<T, U>,
  ..._ignored: Array<U>
): void {
  // noop
}