È corretto, la conversione da T* a const T* è implicita e sempre possibile.
Amaro C++, il gusto pieno dell'undefined behavior.
Regole del Forum