jayfoad wrote: Actually the separate types might be required to account for the fact that different types of export do not necessarily complete in order with each other. Converting to draft while I investigate some more... https://github.com/llvm/llvm-project/pull/144361