Type Alias: ValidateSchemaHasId<S>

type ValidateSchemaHasId<S> = keyof S extends infer TableName
  ? TableName extends keyof S
    ? "id" extends keyof S[TableName]
      ? never
      : SchemaValidationError<`Table "${TableName & string}" is missing required id column.`>
    : never
  : never;