Próximo año feliz

Mubashir necesita tu ayuda para encontrar el próximo año feliz.

Un año feliz es un año cuyas cifras son todas distintas. Crea una función que reciba un entero year y devuelva el siguiente año feliz.

Ejemplos

happy_year(2017) ➞ 2018
# 2018 tiene todas sus cifras distintas

happy_year(1990) ➞ 2013

happy_year(2021) ➞ 2031

Notas

N/A