Próximo ano feliz

Mubashir precisa da sua ajuda para encontrar o próximo ano feliz.

Um ano feliz é um ano que tem apenas algarismos distintos. Crie uma função que receba um número inteiro year e retorne o próximo ano feliz.

Exemplos

happy_year(2017) ➞ 2018
// 2018 tem todos os seus algarismos distintos

happy_year(1990) ➞ 2013

happy_year(2021) ➞ 2031

Notas

N/A