Can you show an example of such a bug? The only thing I can think of is
return
value
which will get flagged by TS as unreachable code (you can try it in https://www.typescriptlang.org/play)