This is OK as long as f is *strong* pure. D pure is not the same as the traditional definition.And GC.malloc is not strong pure, as it returns mutable data.
Ah, this is the piece I was missing. I was aware of weak/strong pure, but I didn't know the return type plays a role in that.
Could core.stdc.stdlib.malloc and friends also be marked pure then?
