PR #13326 Cleaner usage of get_proper_type()

Go through subtypes.py

ilevkivskyi committed 4 years ago

Go through applytype.py

ilevkivskyi committed 4 years ago

Add couple tests

ilevkivskyi committed 4 years ago

Some more cleanup; add test

ilevkivskyi committed 4 years ago

Fix one test

ilevkivskyi committed 4 years ago

Add a test case for join

ilevkivskyi committed 4 years ago

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

ilevkivskyi committed 4 years ago

Mark erasetype.py as also done

ilevkivskyi committed 4 years ago

Go through meet.py

ilevkivskyi committed 4 years ago

Mark solve.py as also done

ilevkivskyi committed 4 years ago

Mark argmap.py as also done

ilevkivskyi committed 4 years ago

Mark expandtype.py as also done

ilevkivskyi committed 4 years ago

Fix self-check; mark join.py as done

ilevkivskyi committed 4 years ago

Update plugin

ilevkivskyi committed 4 years ago

Remove some unneeded calls

ilevkivskyi committed 4 years ago

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

ilevkivskyi committed 4 years ago

Restore some weird special-casing

ilevkivskyi committed 4 years ago

Some more fixes

ilevkivskyi committed 4 years ago

mypy Cleaner usage of get_proper_type() #13326 Merged