> Because D also allows for manual memory management and unsafe memory access, it means that the GC is not free to move stuff in memory at will

Since I wrote a moving GC for Java years ago, and hence know how they work, I set the D semantics so it allows a moving GC. It's just that nobody has written one for D.