mypy

32d14ed9 - Delete a ProperType join hack (#15461)

Delete a ProperType join hack (#15461) The tests added with this piece of code now pass even without it. It looks like the crash was properly fixed by https://github.com/python/mypy/pull/13371