mypy

Preserve gradual guarantee when narrowing Any union via equality

#21368

Merged