a subclass member variable is not recognized as the same variable in superclass unless it has an explicit type hint

[adusamr]

Environment data

• Language Server version: 2024.5.1
• OS and version: linux x64
• Python version (and distribution if applicable, e.g. Anaconda): 3.10
• python.analysis.indexing: true
• python.analysis.typeCheckingMode: basic

Actual behavior

class A:
    def __init__(self, a):
        self.a = a

class B(A):
    def __init__(self, a):
        self.a = a

In this code, self.a in class A and self.a in class B are recognized as different variables.
This causes incorrect behavior of find references or rename variable. Especially the behavior of rename variable easily can break the code.

If you have any type hint of the self.a in the superclass, this does not happen, even if the type hint is undefined.

class A:
    def __init__(self, a):
        self.a: foo = a

class B(A):
    def __init__(self, a):
        self.a = a

[rchiodo]

Thanks for the issue. I can reproduce this too. Very weird that the type annotation makes us understand that B.a is inherited.