New semantic analyzer: Prohibit duplicate type variable definitions and fix stale upper bounds and values#6563

Merged

ilevkivskyi merged 11 commits intopython:masterfrom

ilevkivskyi:new-dup-typevar

Jun 26, 2019

Commits on Mar 18, 2019

New semantic analyzer: Prohibit duplicate type variable definitions
ilevkivskyi
committed

Commits on Mar 29, 2019

Merge branch 'master' into new-dup-typevar
ilevkivskyi
authored

Commits on Jun 24, 2019

Merge remote-tracking branch 'upstream/master' into new-dup-typevar
Ivan Levkivskyi
committed
Update test
Ivan Levkivskyi
committed

Commits on Jun 25, 2019

Try some radical idea
Ivan Levkivskyi
committed
Try much less radical solution
Ivan Levkivskyi
committed
Go forward with a simple fix; also unrelated query issue
Ivan Levkivskyi
committed
Add some comments (and a defer just in case)
Ivan Levkivskyi
committed
Fix self-check
Ivan Levkivskyi
committed

Commits on Jun 26, 2019