Repository navigation

Infer type predicates from function bodies using control flow analysis - #57465

Merged

Ryan Cavanaugh (RyanCavanaugh) merged 43 commits into

microsoft:mainfrom

danvk:infer-type-predicate-16069

Mar 15, 2024

Commits on Feb 20, 2024
- Infer type predicates from function bodies
  Dan Vanderkam (danvk)
  committed
  0c24ccc
Commits on Feb 21, 2024
- Run formatter
  Dan Vanderkam (danvk)
  committed
  e2684f1
- Add secondary subtype check and tests
  Dan Vanderkam (danvk)
  committed
  101df93
- add union type test to baselines
  Dan Vanderkam (danvk)
  committed
  d0e385e
Commits on Feb 23, 2024
- add prisma circularity test with failing baseline
  Dan Vanderkam (danvk)
  committed
  a72b1f1
- Various fixes for circularity issue
  Dan Vanderkam (danvk)
  committed
  ef2d465
- circularity test is fixed
  Dan Vanderkam (danvk)
  committed
  9336052
- revert back to CheckMode.TypeOnly
  Dan Vanderkam (danvk)
  committed
  41f624d
- Add test case for a predicate that throws
  Dan Vanderkam (danvk)
  committed
  52df115
Commits on Feb 26, 2024
- Drop isTriviallyNonBoolean, switch to simpler test, check for assertions
  Dan Vanderkam (danvk)
  committed
  3ab6fae
Commits on Feb 29, 2024
- Use unescapeLeadingUnderscores
  Dan Vanderkam (danvk)
  committed
  9591231
- tests are fixed
  Dan Vanderkam (danvk)
  committed
  9a8c0a1
Commits on Mar 1, 2024
- Always bind flow nodes to return statements + other fixes
  Anders Hejlsberg (ahejlsberg)
  committed
  a4ff6b4
- Accept new baselines
  Anders Hejlsberg (ahejlsberg)
  committed
  869422f
- Merge branch 'suggested-changes-57465' into infer-type-predicate-16069
  Dan Vanderkam (danvk)
  committed
  adbdc7d
- simplify
  Dan Vanderkam (danvk)
  committed
  0dec9c6
Commits on Mar 2, 2024
Commits on Mar 3, 2024
- try caching the antecedent
  Dan Vanderkam (danvk)
  committed
  4e79d76
- revert fallback assignability check
  Dan Vanderkam (danvk)
  committed
  a5725d2
Commits on Mar 4, 2024
- Revert "try caching the antecedent"
  Dan Vanderkam (danvk)
  committed
  3323573
- Merge commit 'c7f1c3d309' into infer-type-predicate-16069
  Dan Vanderkam (danvk)
  committed
  76a5abd
Commits on Mar 13, 2024
- accept baselines
  Dan Vanderkam (danvk)
  committed
  5ec6f1f
- ignore rest parameters & update baseline
  Dan Vanderkam (danvk)
  committed
  3491c78
- switch to getParameterCount
  Dan Vanderkam (danvk)
  committed
  c4ee1f0
Commits on Mar 14, 2024
- Revert "switch to getParameterCount"
  Dan Vanderkam (danvk)
  committed
  4e934fa
- Revert "ignore rest parameters & update baseline"
  Dan Vanderkam (danvk)
  committed
  37951ca
- Revert "accept baselines"
  Dan Vanderkam (danvk)
  committed
  cabed97
- try setting @declaration: true
  Dan Vanderkam (danvk)
  committed
  6a88111
- accept baselines
  Dan Vanderkam (danvk)
  committed
  151d026
- Merge branch 'main' into test-fix-expt-16069
  Dan Vanderkam (danvk)
  committed
  0b6a24a
- accept baseline
  Dan Vanderkam (danvk)
  committed
  0f31362
- Add rest parameter test and accept baselines
  Dan Vanderkam (danvk)
  committed
  2354072
- ignore rest parameters & update baseline
  Dan Vanderkam (danvk)
  committed
  f63105c
- switch to getParameterCount
  Dan Vanderkam (danvk)
  committed
  eea3994
- accept baseline
  Dan Vanderkam (danvk)
  committed
  e474bfc
- emit inferred type predicates in createReturnTypeOfSignatureDeclaration
  Dan Vanderkam (danvk)
  committed
  a6a734c
- accept baselines
  Dan Vanderkam (danvk)
  committed
  f5a9404
- correct isDate / flakyIsDate pair
  Dan Vanderkam (danvk)
  committed
  784e2a3
- handle asserts predicates as well
  Dan Vanderkam (danvk)
  committed
  33826df
- Pass flags for type predicate emit
  Dan Vanderkam (danvk)
  committed
  f002b28
Commits on Mar 15, 2024
- Factor out nodeBuilder.typePredicateToTypePredicateNode
  Dan Vanderkam (danvk)
  committed
  50803a0

Commits

Commits on Feb 20, 2024

Commits on Feb 21, 2024

Commits on Feb 23, 2024

Commits on Feb 26, 2024

Commits on Feb 29, 2024

Commits on Mar 1, 2024

Commits on Mar 2, 2024

Commits on Mar 3, 2024

Commits on Mar 4, 2024

Commits on Mar 13, 2024

Commits on Mar 14, 2024

Commits on Mar 15, 2024