You can implicitly cast /to/ void[], but I don't think you could ever implicitly cast from it. Casting from it needs a bit more thought because you should ensure that it actually is what you are saying it is and the compiler can't help with that, so by prohibiting the automatic cast it at least draws your attention to it.