Can't redefine name imported from another module #591

Activity

1. JukkaL

   added

   bugmypy got something wrongmypy got something wrong

   on Feb 28, 2015
2. gvanrossum commented on Jan 27, 2016

   

   gvanrossum

   on Jan 27, 2016

   Member

   More actions

   (Another one related to #649.)
3. JukkaL commented on May 17, 2018

   

   JukkaL

   on May 17, 2018

   CollaboratorAuthor

   More actions

   I couldn't easily come up with an example that would fail, so I'm closing this. If some special case is still failing we can create a separate issue about that special case.
4. JukkaL

   closed this as completedon May 17, 2018
5. DanAlbert commented on Mar 26, 2025

   

   DanAlbert

   on Mar 26, 2025

   Last edited by DanAlbert

   More actions

   #1168 was duped into this which had an example:

   try:
       from zlip import decompress
   except ImportError:
       def decompress(val):
           raise RuntimeError

   It's still a problem with mypy 1.15.0. Is there a different way we should be writing code that relies on types from maybe-available packages?
6. DanAlbert commented on Mar 26, 2025

   

   DanAlbert

   on Mar 26, 2025

   More actions

   Actually after commenting I see the case I'm running into is slightly different:

   try:
       from rich.progress import TaskID
   
       def foo(task_id: TaskID) -> None:
           ...
   
   except ModuleNotFoundError:
       def foo(task_id: int) -> None:
           ...

   Which yields "All conditional function variants must have identical signatures", which is the same error, but possibly not the same problem.