Shouldn't casting an object to void* be considered @safe?

[Ola Fosheim Grøstad]

On Saturday, 14 December 2019 at 17:25:25 UTC, Joseph Rushton 
Wakeling wrote:
> Making a cast to `void*` unsafe is therefore an important push 
> to the developer to say, "You need to look at this and validate 
> what you're doing against how you use it later."

Casting to void should be safe, that is the same as providing a 
pure object identity.

This is useful for a set of objects.

That is the most restrictive reference-type the type system 
provides.