JonChesterfield wrote: I quite like the lack of implicit address space conversions, forces one to think through the dataflow more carefully. But we'll see how well that interacts with reality. https://github.com/llvm/llvm-project/pull/131905