https://github.com/bcardosolopes approved this pull request. This makes sense to me, but I'm not a usual reviewer of core MLIR stuff, so perhaps some extra stamp might be needed? https://github.com/llvm/llvm-project/pull/100361