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;