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

[gvanrossum]

Demo:

from typing import Any
A = ...  # type: Any
class C(A):
    def __init__(self):
        super(C, self).__init__(1, 2, 3)  # E: Too many arguments for "__init__" of "object"

[gvanrossum]

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.

[gvanrossum]

Interestingly, this is clean:

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

[JukkaL]

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.