rikhuijzer wrote: Also related is https://github.com/llvm/llvm-project/pull/73027. That PR allows us to simply the code and we could then also remove the "or symbol type" from the error message since that is tested as part of `isValidDim`. https://github.com/llvm/llvm-project/pull/73266