It could probably do this. Dereferencing a void * isn't valid, so it kind of has the same effect. However, there are many functions which take void * and do write to/read from the data pointing at it (e.g. memcpy). These aren't @safe, so they should be off-limits.[...]
OK, thanks for explaining ;-)
