Próximo ano feliz

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

Um ano feliz é um ano que contém apenas dígitos distintos. Crie uma função que receba um inteiro year e retorne o próximo ano feliz.

Exemplos

happyYear(2017) ➞ 2018
// 2018 tem todos os dígitos distintos

happyYear(1990) ➞ 2013

happyYear(2021) ➞ 2031

Notas

N/A