Type check super() arguments

[JukkaL]

Currently the arguments in super() calls are not checked.

[JukkaL]

Actually this is not that urgent, since this is mostly relevant for Python 2 code.

[JukkaL]

For example, mypy doesn't report an error for this code:

class A:
    def f(self) -> None: pass

class B(A):
    def f(self) -> None:
        super(1, '', '').f()   # ouch, should generate an error

[axitkhurana]

Looking into this one

[JukkaL]

This would actually be pretty nice to have as Python 2 support is going strong.

[rwbarton]

I remember @axitkhurana and I came up with a nice plan for this at PyCon. @axitkhurana did you end up getting it working? I can also reconstruct it if needed.