On Saturday, 14 December 2019 at 17:25:25 UTC, Joseph Rushton Wakeling wrote: > Surely where code has a cast to `void*` and then later back to > some other pointer type The question was only about the first part, casting to void*, not casting back.