Code

Narrow tuple types using len()#16237

Code

Merged

ilevkivskyi merged 20 commits intopython:masterpython/mypy:masterfrom ilevkivskyi:len-type-narrowingilevkivskyi/mypy:len-type-narrowingCopy head branch name to clipboardOct 21, 2023

+1,154-38

Commits

Commits on Oct 2, 2023

• Copy over the tests

  ilevkivskyi

  committed
  a28617f

  Copy full SHA for a28617f

Commits on Oct 5, 2023

• Add type narrowing logic

  ilevkivskyi

  committed
  77925e1

  Copy full SHA for 77925e1

Commits on Oct 6, 2023

• Complete type narrowing logic

  ilevkivskyi

  committed
  81f10e1

  Copy full SHA for 81f10e1

• End-to-end implementation

  ilevkivskyi

  committed
  b854c4f

  Copy full SHA for b854c4f

Commits on Oct 7, 2023

• Tweaks and fixes

  ilevkivskyi

  committed
  5683f9d

  Copy full SHA for 5683f9d

• Some more tests and fixes

  ilevkivskyi

  committed
  e9cb9b7

  Copy full SHA for e9cb9b7

• Add TypeVarTuple tests

  ilevkivskyi

  committed
  9815637

  Copy full SHA for 9815637

• More variadic tests; binder special-casing

  ilevkivskyi

  committed
  8eb8900

  Copy full SHA for 8eb8900

Commits on Oct 8, 2023

• Docstring/comments; reorg code

  ilevkivskyi

  committed
  a03d3bf

  Copy full SHA for a03d3bf

• Fix one TODO (mixed unions)

  ilevkivskyi

  committed
  4cc35ec

  Copy full SHA for 4cc35ec

• Partially fix another TODO

  ilevkivskyi

  committed
  34d2dd4

  Copy full SHA for 34d2dd4

• Merge remote-tracking branch 'upstream/master' into len-type-narrowing

  ilevkivskyi

  committed
  ab338ad

  Copy full SHA for ab338ad

• Fix primer

  ilevkivskyi

  committed
  8844f69

  Copy full SHA for 8844f69

• Fix the fix

  ilevkivskyi

  committed
  12052ea

  Copy full SHA for 12052ea

Commits on Oct 9, 2023

• More consistent handling for Any in narrowing

  ilevkivskyi

  committed
  9c21e44

  Copy full SHA for 9c21e44

Commits on Oct 10, 2023

• Gate precise tuple types behind a separate feature

  ilevkivskyi

  committed
  25396cf

  Copy full SHA for 25396cf

Commits on Oct 20, 2023

• Merge remote-tracking branch 'upstream/master' into len-type-narrowing

  ilevkivskyi

  committed
  5b21778

  Copy full SHA for 5b21778

Commits on Oct 21, 2023

• Address some feedback

  ilevkivskyi

  committed
  d84f38f

  Copy full SHA for d84f38f

• More feedback; more corner cases; more tests

  ilevkivskyi

  committed
  ba196fd

  Copy full SHA for ba196fd

• Handle unrelated corner case to avoid new false positives

  ilevkivskyi

  committed
  d676b23

  Copy full SHA for d676b23