Code

Delete sametypes.py#13311

Code

Merged

ilevkivskyi merged 9 commits intopython:masterpython/mypy:masterfrom

ilevkivskyi:delete-same-typesilevkivskyi/mypy:delete-same-typesCopy head branch name to clipboard

Aug 4, 2022

Commits

Commits on Aug 2, 2022

• Delete sametypes.py

  ilevkivskyi

  committed
  8c8f105

  Copy full SHA for 8c8f105

• Fix bug

  ilevkivskyi

  committed
  7b06383

  Copy full SHA for 7b06383

• Couple comments

  ilevkivskyi

  committed
  1273b0a

  Copy full SHA for 1273b0a

Commits on Aug 3, 2022

• Use a more robust check

  ilevkivskyi

  committed
  8a137e7

  Copy full SHA for 8a137e7

• Merge remote-tracking branch 'upstream/master' into delete-same-types

  ilevkivskyi

  committed
  2ecd276

  Copy full SHA for 2ecd276

• Move to a better place and add flag and comment

  ilevkivskyi

  committed
  a9fa936

  Copy full SHA for a9fa936

• Fix merge; use better arg names; add comment

  ilevkivskyi

  committed
  8dfd309

  Copy full SHA for 8dfd309

• Re-apply black

  ilevkivskyi

  committed
  a66ae1c

  Copy full SHA for a66ae1c

Commits on Aug 4, 2022

• Use is_same_type() for type asserts

  ilevkivskyi

  committed
  f89fee8

  Copy full SHA for f89fee8