That's not correct in general; casting pointers is possibly undefined. However, it does seem a made a mistake trying to use void * as an example.