New semantic analyzer: allow redefinition of star-imported functions if type is the same

Consider this test case:

[case testReExportOtherSameType]
from low_level import *

def func(arg: str) -> int:
    ...

[file low_level.py]
def func(arg: str) -> int:
    ...

It is currently allowed by old analyzer (likely by accident), but prohibited by the new one. Old analyzer still prohibits this if the function is imported by name instead of star import. Although behavior of the new analyzer is more consistent, it may be sometimes useful to allow the redefinition (for example when star import re-exports hundred functions).

Inizia con il caso di test testReExportOtherSameType e i suoi due file, che mostrano un’importazione con asterisco da low_level.py seguita da una definizione con la stessa firma. Leggi come il nuovo analizzatore semantico gestisce le funzioni importate con asterisco e confrontalo con il vecchio analizzatore. Il lavoro è completo quando il comportamento previsto di ridefinizione dello stesso tipo è coperto da un test superato, senza modificare il comportamento separato delle importazioni con nome.