Comment by kazinator

Sure:

   (void*)&array   == (void*)&array[0]   // likely true

That is true by definition. The address of the first element is the same as that of the array, period. They cannot convert to different void pointers.