You probably want to emit a warning here, so that such casting doesn't go unnoticed.