When base class has type 'Any', super().__init__() args should be unconstrained #1067

Activity

1. gvanrossum commented on Dec 11, 2015

   

   gvanrossum

   on Dec 11, 2015

   MemberAuthor

   More actions

   Maybe this issue should also track other problems related to the base class being an object of type 'Any'? E.g. this one:

   def outer(cls):
       class C(cls):  # E: Invalid type "cls"
           def __iter__(self):
               super(C, self).__iter__()  # E: "__iter__" undefined in superclass

   Update: Added a second error on the class statement. Also, adding an annotation of Any to the cls argument does not silence either error.
2. gvanrossum commented on Dec 11, 2015

   

   gvanrossum

   on Dec 11, 2015

   MemberAuthor

   More actions

   Interestingly, this is clean:

   from typing import Any
   A = ...  # type: Any
   class C(A):
       def __iter__(self):
           super(C, self).__iter__()
3. JukkaL

   added

   bugmypy got something wrongmypy got something wrong

   priority

   on Dec 11, 2015
4. JukkaL commented on Dec 11, 2015

   

   JukkaL

   on Dec 11, 2015

   Collaborator

   More actions

   There have been a bunch of issues with Any base classes and it's probably worth creating separate issues if things seem not directly related.
5. gvanrossum

   added a commit that references this issue on Jan 16, 2016

   Also fix #1067, by special-casing the end of the MRO for super() if a…

   ...

   This issue will close once commit 7be0b8c is merged into the 'master' branch.

   7be0b8c
6. JukkaL

   closed this as completedin eb786f4on Jan 18, 2016