makslevental wrote: I'm always hazy on the semantics of 64b integer types - this looks fine to me but just double checking that `index == size_t` is non-controverisal? https://github.com/llvm/llvm-project/pull/118947