Próximo ano feliz

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

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

Exemplos

happyYear(2017) ➞ 2018
// 2018 possui apenas algarismos distintos

happyYear(1990) ➞ 2013

happyYear(2021) ➞ 2031

Observações

N/A