The ability to refactor implicit types to explicit types in typescript

export type SomethingComplex = ReturnType<typeof GetSomethingComplex>

I like to rely on implicit return types, especially in the beginning when I'm exploring what I'm creating. But when you have implicit models and your idea has become more defined, it might be wise to have your logic follow explicit models rather than implicit models emerging from logic.

So I propose a refactoring tool that allows you to convert implicit types to explicit types.

El issue no menciona archivos, pruebas ni puntos de entrada. Empieza revisando la compatibilidad existente con la refactorización de TypeScript y definiendo qué tipos implícitos deben convertirse, cómo deben aparecer las anotaciones generadas y qué casos deben cubrirse; se considera terminado cuando el comportamiento está especificado y verificado con ejemplos representativos.