O efeito do Polymorph, como dito pelo Milton, procede normalmente. Apenas nao destroi a criatura, pois nao pode.
O efeito do Polymorph de destruir a criatura e o de revelar cartas do deck, sao 2 efeitos separados, ou seja, nao estao interligados por nenhuma condiçao ("if you do...").
O que significa que na resoluçao do Polymorph ele vai tentar fazer o maximo que pode.
Tenta destruir a criatura, mas como ela é indestrutivel, nao o consegue. Procede para o resto da spell ability, seguindo instruçoes, e o controlador da criatura revela os cards à mesma e coloca a criatura em jogo, baralhando os outros cards revelados na library.
Cumps