cor3ntin wrote: This looks reasonable but for pack expressions we added a `ExpandedToEmptyPack` instead and i think there is value in having consistency between types and expression packs indexing. WDYT? https://github.com/llvm/llvm-project/pull/107181