Próximo ano feliz

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

Um ano feliz é um ano formado apenas por dígitos 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 dígitos distintos

happy_year(1990) ➞ 2013

happy_year(2021) ➞ 2031

Observações

N/A