https://github.com/cxy-1993 requested changes to this pull request. Thank you for your contribution. Personally, I don't think this assert is necessary. Perhaps we need to check the verify of other dialects. https://github.com/llvm/llvm-project/pull/102099