zyn0217 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? Makes sense to me :) https://github.com/llvm/llvm-project/pull/107181