[Mlir-commits] [mlir] [mlir][smt] Allow empty function domains (PR #193732)

[Maksim Levental]

makslevental wrote:

@TaoBi22 let me know if you need me to merge (but I think you have commit access)

https://github.com/llvm/llvm-project/pull/193732