Cannot access nested class

[JukkaL]

The type checker complains about the self.B() call in the program below:

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

[JukkaL]

Actually, it's not obvious how this should work, as plausibly a subclass of A could override B... or maybe that should be forbidden? Currently you can use A.B as a simple workaround.

This needs further analysis, so removed the 'priority' label.

[ilevkivskyi]

Another example of this bug:

class Outer:
    class Inner:
        pass

Outer().Inner  # E: Member "Inner" is not assignable

[emmatyping]

This is the same as #3635 fixed in #3636, unless I'm mistaken, so it is resolved.

[ilevkivskyi]

Yes, both examples work correctly now.