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 que solo tiene dígitos distintos. Crea una función que reciba un entero year y devuelva el próximo año feliz.

Ejemplos

happy_year(2017) ➞ 2018
// 2018 tiene todos sus dígitos distintos

happy_year(1990) ➞ 2013

happy_year(2021) ➞ 2031

Notas

N/A