PR #13303 Merge subtype visitors

Merge subtype visitors #13303

ilevkivskyi merged 12 commits into python:master from ilevkivskyi:merge-subtype-visitors

Merge subtype visitors

38bfd996

Fix self-check and lint

470dfe75

Fix tests

03ef94f2

Try a more principled Type[...] logic

f04b04c5

One more Type[...] related thing

e3870272

Fix properness for protocols

0b4c8203

JelleZijlstra approved these changes on 2022-08-03

Prohibit calling is_subtype() with proper_subtype directly

19933395

Use a better split point

19d81bfd

Mark a comment as TODO

4eb089f0

Merge remote-tracking branch 'upstream/master' into merge-subtype-vis…

cc15dc42

Re-apply black

a85194b4

Make it even harder to mess things up

2866f426

ilevkivskyi merged d27bff62 into master 3 years ago

ilevkivskyi deleted the merge-subtype-visitors branch 3 years ago

Reviewers

JelleZijlstra

Assignees

No one assigned

Labels

None yet

Milestone

No milestone