[mlir] Unique property constraints where possible#140849

krzysz00 merged 1 commit intomainllvm/llvm-project:mainfrom

users/krzysz00/prop-verifier-helperllvm/llvm-project:users/krzysz00/prop-verifier-helperCopy head branch name to clipboard