sjoerdmeijer wrote: One quick question about this: the title says NFC, but I was wondering if this is actually fixes a (potential) bug? Was there some stale information in these `Subscript` and `Sizes` vectors that confused things? https://github.com/llvm/llvm-project/pull/156495