https://github.com/matthias-springer commented: I think `arith.bitcast` should not be used with index type. The bitwidth is unknown, so a bitcast does not make sense. Can we improve the verifier and reject such ops? https://github.com/llvm/llvm-project/pull/121455