Refactor parial types to avoid code duplication

[ilevkivskyi]

Currently there is some duplication around partial types:

• Logic in try_infer_partial_generic_type_from_assignment() essentially duplicates the logic inlined in check_assignment() for None partial types. These two probably can be refactored to the same method if we also update handle_partial_var_type() to not special-case partial None types, and instead consistently return a partial type in lvalue context.
• Logic in try_infer_partial_type_from_indexed_assignment() duplicates that in try_infer_partial_type() (there is already a TODO item). This one can be refactored by either pushing the latter a bit down the call stack (closer to check_call()), or by generating a synthetic CallExpr with __setitem__ and passing it to try_infer_partial_type().

The second item may be something to watch out when implementing support for these:

a = defaultdict(list)
a[0].append('yes')

b = {}
b.setdefault(0, []).append('yes')

c = defaultdict(set)
c[0].add('yes')

d = {}
d.setdefault(0, set()).add('yes')

@JukkaL this is probably not something important, but maybe it makes sense to fix this while we are at it?

[JukkaL]

These refactorings sounds like good ideas. I'd prefer not creating temporary node objects if possible, as they tend to increase complexity and sometimes cause trouble with error location reporting.

[LeoLomardo]

Hi, i just started trying to contribute on open source projects, and i thought mypy would be a great project to start. I preferred to start working on refactoring issues and i saw this one. I had a question related to import typing_extensions, does mypy still support python <=3.9? its a good refactoring to update this to typing ? Can i work on this issue?
One example is on the file /mypy/misc/incremental_checker.py that i changed to do this :

`
from typing import Any, Final, Dict

try:

  from typing import TypeAlias as _TypeAlias

except ImportError:  

  from typing_extensions import TypeAlias as _TypeAlias

`