T-Gruber wrote: Hi @steakhal, just to be sure. We are talking about a test case that covers that the index is "recognised" as a wrong variable (the matrix example above)? https://github.com/llvm/llvm-project/pull/85104