old mypy: oh, man what is that. Please write `cast(str, thing)`
new #mypy, same code: oh please. I'm insulted. Of course that is a string. Remove the redundant cast. This... this... really hurts my feelings.
November 26, 2022
old mypy: oh, man what is that. Please write `cast(str, thing)`
new #mypy, same code: oh please. I'm insulted. Of course that is a string. Remove the redundant cast. This... this... really hurts my feelings.