https://github.com/aartbik commented: shall we also add some "verification" to the type, e.g. 0 < n < m at the very least? then we can also add an invalid.mlir test for this https://github.com/llvm/llvm-project/pull/79935