Since it practically never makes sense to write pointers to a file, it appears the fact that `std.file.write` accepts `void[]` is just something carried over from D0 for the sake of compatibility. I don't think it should be propagated to new functions.