This was an interesting dive for me into how TS constructs its control flow information, I played a couple of times with interpreting its pieces in the narrowing-related code, but I almost never had a need to change how its created: https://github.com/microsoft/TypeScript/pull/60950/files
Comments