Próximo año feliz

Mubashir necesita tu ayuda para encontrar el próximo año feliz.

Un año feliz solo tiene dígitos distintos. Crea un método que reciba un entero year y devuelva el próximo año feliz.

Ejemplos

Program.happyYear(2017); // devuelve 2018; 2018 tiene todos sus dígitos distintos
Program.happyYear(1990); // devuelve 2013
Program.happyYear(2021); // devuelve 2031

Notas

N/A