mypy

34abecb2 - Make sure new redefinition semantics only apply to inferred vars (#20909)

Make sure new redefinition semantics only apply to inferred vars (#20909) All aspects of `--allow-redefinition-new` should only apply to _inferred_ variables, all variables with explicit annotations should follow all aspects of old semantics, including special-casing for `Any` etc.