Infer type predicates from function bodies using control flow analysis by danvk · Pull Request...
Fixes #16069 Fixes #38390 Fixes #10734 Fixes #50734 Fixes #12798 This PR uses the TypeScript's existing control flow analysis to infer type predicates for boolean-returning functions where ...