banach-space wrote: @dcaballe Are you OK with the new naming? If possible, I'd like to land this today/tomorrow to progress https://github.com/llvm/llvm-project/issues/123630. https://github.com/llvm/llvm-project/pull/123526