Add functional test demonstrating issue with type introspection

tests/functional/n/no/no_member_type_introspection.py

@@ -0,0 +1,51 @@
+"""Tests for no-member when type(self)() is returned by a method."""
+# pylint: disable=missing-class-docstring,missing-function-docstring,too-few-public-methods
+
+# Test for: https://github.com/PyCQA/pylint/issues/7464
+
+from . import no_member_type_introspection_base as ext
+
+
+class ExtBaseA(ext.Base):
+    def only_in_a(self):
+        pass
+
+
+class ExtBaseB(ext.Base):
+    def only_in_b(self):
+        pass
+
+
+a = ExtBaseA()
+new_a = a.return_type()
+new_a.only_in_a()
+
+
+b = ExtBaseB()
+new_b = b.return_type()
+new_b.only_in_b()  # [no-member]
+
+
+class Base:
+    def return_type(self):
+        return type(self)()
+
+
+class LocalBaseA(Base):
+    def only_in_a(self):
+        pass
+
+
+class LocalBaseB(Base):
+    def only_in_b(self):
+        pass
+
+
+a = LocalBaseA()
+new_a = a.return_type()
+new_a.only_in_a()  # [no-member]
+
+
+b = LocalBaseB()
+new_b = b.return_type()
+new_b.only_in_b()  # [no-member]

tests/functional/n/no/no_member_type_introspection.txt

@@ -0,0 +1,3 @@
+no-member:26:0:26:15::Instance of 'ExtBaseA' has no 'only_in_b' member; maybe 'only_in_a'?:INFERENCE
+no-member:46:0:46:15::Instance of 'Base' has no 'only_in_a' member:INFERENCE
+no-member:51:0:51:15::Instance of 'Base' has no 'only_in_b' member:INFERENCE

tests/functional/n/no/no_member_type_introspection_base.py

@@ -0,0 +1,10 @@
+"""Tests for no-member when type(self)() is returned by a method."""
+# pylint: disable=missing-class-docstring,missing-function-docstring,too-few-public-methods
+
+
+# Test for: https://github.com/PyCQA/pylint/issues/7464
+
+
+class Base:
+    def return_type(self):
+        return type(self)()