For cases where imports are ambiguous (e.g. isinstance(obj, ModuleType)) - try to run the code with the different versions and see what works?
Would require essentially noticing that in one case, the branch (in SymbolType#from_real_obj) is never entered w/language_objects.ModuleType and is with types.ModuleType... Very hard.
For cases where imports are ambiguous (e.g. isinstance(obj, ModuleType)) - try to run the code with the different versions and see what works?
Would require essentially noticing that in one case, the branch (in SymbolType#from_real_obj) is never entered w/language_objects.ModuleType and is with types.ModuleType... Very hard.