type ValidateIdColumnType<S> = keyof S extends infer TableName
  ? TableName extends keyof S
    ? "id" extends keyof S[TableName]
      ? InferOutput<S[TableName]["id"]> extends Id
        ? never
        : SchemaValidationError<`Table "${TableName & string}" id column output type must extend Id. Use id("${TableName & string}") from Evolu Type.`>
      : never
    : never
  : never;