Implementing background infrastructure for recursive types: Part 3#7885

Merged

ilevkivskyi merged 18 commits intopython:masterfrom

ilevkivskyi:recursive-types

Nov 8, 2019

Commits on Aug 25, 2019

Commits on Nov 4, 2019

Merge remote-tracking branch 'upstream/master' into recursive-types
Ivan Levkivskyi
committed
Add some simple visitor_methods
Ivan Levkivskyi
committed
Add fixup visitor
Ivan Levkivskyi
committed

Commits on Nov 5, 2019

few more visitors
Ivan Levkivskyi
committed
Add subtype visitors
Ivan Levkivskyi
committed
Cache is_recursive
Ivan Levkivskyi
committed
Fix slots
Ivan Levkivskyi
committed

Commits on Nov 6, 2019

Merge remote-tracking branch 'upstream/master' into recursive-types
Ivan Levkivskyi
committed
Address CR
Ivan Levkivskyi
committed

Commits on Nov 7, 2019

Clean-up alias expansion
Ivan Levkivskyi
committed
Allow non-proper types as union items
Ivan Levkivskyi
committed
Shift proper subtype logic and add some tests
Ivan Levkivskyi
committed
Fix lint
Ivan Levkivskyi
committed
Fix typo
Ivan Levkivskyi
committed

Commits on Nov 8, 2019

Merge remote-tracking branch 'upstream/master' into recursive-types
Ivan Levkivskyi
committed
Make constraints consistent with subtypes
Ivan Levkivskyi
committed