> What's more interesting to me is that everyone who converts their code into Flow or TS immediately finds at least N bugs (albeit small).

Just rereading all your code carefully (which porting generally requires) generally finds a few bugs in my opinion. It might not always be because of typescript.