Thing is, it only works in if and switch statements, you have to be aware of it ...

dmitriid on Oct 31, 2017 | parent | context | favorite | on: So you want to write a type checker (2014)

Thing is, it only works in if and switch statements, you have to be aware of it (I don’t think you can deduce it from docs), and you have to manually trigger it.

It’s ”poor man’s exhaustiveness” and TS will hopefully get better at this