Cleaner usage of get_proper_type() #13326
ilevkivskyi
merged
18 commits into
python:master
from
ilevkivskyi:clean-get-proper-type
Go through subtypes.py
51670ca1
Go through applytype.py
20f0b8e4
Add couple tests
5067998c
Some more cleanup; add test
c85098bc
Fix one test
20286fdc
Add a test case for join
f0970b8a
Bake out one in constraints.py (just in case)
b5a8655a
Mark erasetype.py as also done
6c98581f
Go through meet.py
8516bd56
Mark solve.py as also done
5b0e1010
Mark argmap.py as also done
2d6dbee6
Mark expandtype.py as also done
42e1fc64
Fix self-check; mark join.py as done
db14a35d
Update plugin
7ae87141
Remove some unneeded calls
a50e8e45
Merge remote-tracking branch 'upstream/master' into clean-get-proper-…
021f18f6
Restore some weird special-casing
e056c81c
Some more fixes
841b72c2
hauntsaninja
approved these changes
on 2022-08-04
Login to write a write a comment.
Login via GitHub