I think that's not as beneficial as having proper type errors and feeding that into itself as it writes

Expressive linting seems more useful for that than lax typing without null safety.