[Mlir-commits] [mlir] [mlir][SMT] restore custom builder for forall/exists (PR #135470)

[Fehr Mathieu]

https://github.com/math-fehr approved this pull request.

Thanks for fixing this!
I guess CIRCT doesn't have an ASAN CI so this was missed?

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