search for: 60517da5

I really hate to dip my toe in here, because it will only reveal my total ignorance, but…. Do the "usual rules around addrspacecast" say when different address spaces can alias? I remember somebody using address spaces to represent something like special off-to-the-side device memory, which obviously could never alias main memory, whereas other uses like the 32/64-bit thing will