Code

Cleaner usage of get_proper_type()#13326

Code

Merged

ilevkivskyi merged 18 commits intopython:masterpython/mypy:masterfrom ilevkivskyi:clean-get-proper-typeilevkivskyi/mypy:clean-get-proper-typeCopy head branch name to clipboardAug 4, 2022

+211-108

Commits

Commits on Aug 3, 2022

• Go through subtypes.py

  ilevkivskyi

  committed
  51670ca

  Copy full SHA for 51670ca

• Go through applytype.py

  ilevkivskyi

  committed
  20f0b8e

  Copy full SHA for 20f0b8e

Commits on Aug 4, 2022

• Add couple tests

  ilevkivskyi

  committed
  5067998

  Copy full SHA for 5067998

• Some more cleanup; add test

  ilevkivskyi

  committed
  c85098b

  Copy full SHA for c85098b

• Fix one test

  ilevkivskyi

  committed
  20286fd

  Copy full SHA for 20286fd

• Add a test case for join

  ilevkivskyi

  committed
  f0970b8

  Copy full SHA for f0970b8

• Bake out one in constraints.py (just in case)

  ilevkivskyi

  committed
  b5a8655

  Copy full SHA for b5a8655

• Mark erasetype.py as also done

  ilevkivskyi

  committed
  6c98581

  Copy full SHA for 6c98581

• Go through meet.py

  ilevkivskyi

  committed
  8516bd5

  Copy full SHA for 8516bd5

• Mark solve.py as also done

  ilevkivskyi

  committed
  5b0e101

  Copy full SHA for 5b0e101

• Mark argmap.py as also done

  ilevkivskyi

  committed
  2d6dbee

  Copy full SHA for 2d6dbee

• Mark expandtype.py as also done

  ilevkivskyi

  committed
  42e1fc6

  Copy full SHA for 42e1fc6

• Fix self-check; mark join.py as done

  ilevkivskyi

  committed
  db14a35

  Copy full SHA for db14a35

• Update plugin

  ilevkivskyi

  committed
  7ae8714

  Copy full SHA for 7ae8714

• Remove some unneeded calls

  ilevkivskyi

  committed
  a50e8e4

  Copy full SHA for a50e8e4

• Merge remote-tracking branch 'upstream/master' into clean-get-proper-type

  ilevkivskyi

  committed
  021f18f

  Copy full SHA for 021f18f

• Restore some weird special-casing

  ilevkivskyi

  committed
  e056c81

  Copy full SHA for e056c81

• Some more fixes

  ilevkivskyi

  committed
  841b72c

  Copy full SHA for 841b72c