github653224
diff --git a/‎python-frontend/src/main/java/org/sonar/plugins/python/api/symbols/ClassSymbol.java‎
Lines changed: 3 additions & 0 deletions b/‎python-frontend/src/main/java/org/sonar/plugins/python/api/symbols/ClassSymbol.java‎
Lines changed: 3 additions & 0 deletions
diff --git a/‎python-frontend/src/main/java/org/sonar/python/semantic/ClassSymbolImpl.java‎
Lines changed: 17 additions & 0 deletions b/‎python-frontend/src/main/java/org/sonar/python/semantic/ClassSymbolImpl.java‎
Lines changed: 17 additions & 0 deletions
diff --git a/‎python-frontend/src/test/java/org/sonar/python/semantic/ClassSymbolTest.java‎
Lines changed: 29 additions & 0 deletions b/‎python-frontend/src/test/java/org/sonar/python/semantic/ClassSymbolTest.java‎
Lines changed: 29 additions & 0 deletions
@@ -39,6 +39,9 @@ public interface ClassSymbol extends Symbol {
   @Beta
   Optional<Symbol> resolveMember(String memberName);
 
+  @Beta
+  boolean canHaveMember(String memberName);
+
   @Beta
   boolean isOrExtends(String fullyQualifiedClassName);
 
 
@@ -147,6 +147,23 @@ public Optional<Symbol> resolveMember(String memberName) {
     return Optional.empty();
   }
 
+  @Override
+  public boolean canHaveMember(String memberName) {
+    if (hasUnresolvedTypeHierarchy()) {
+      return true;
+    }
+    for (Symbol symbol : allSuperClasses(true)) {
+      if (symbol.kind() == Kind.CLASS) {
+        ClassSymbolImpl classSymbol = (ClassSymbolImpl) symbol;
+        Symbol matchingMember = classSymbol.membersByName().get(memberName);
+        if (matchingMember != null) {
+          return true;
+        }
+      }
+    }
+    return false;
+  }
+
   @Override
   public LocationInFile definitionLocation() {
     return classDefinitionLocation;
 
@@ -340,10 +340,39 @@ public void inherited_static_member() {
             "B.foo"
     );
 
+    assertThat(classSymbol.canHaveMember("foo")).isTrue();
     Symbol foo = classSymbol.resolveMember("foo").get();
     assertThat(foo.usages()).extracting(Usage::kind).containsExactly(Usage.Kind.ASSIGNMENT_LHS, Usage.Kind.OTHER);
   }
 
+  @Test
+  public void inherits_from_ambiguous_symbol() {
+    ClassSymbol classSymbol = lastClassSymbol(
+      "if x:",
+      "  class A: ...",
+      "else:",
+      "  class A:",
+      "    def foo(): ...",
+      "class B(A): ..."
+    );
+
+    assertThat(classSymbol.resolveMember("foo").isPresent()).isFalse();
+    assertThat(classSymbol.canHaveMember("foo")).isTrue();
+  }
+
+  @Test
+  public void inherits_from_function_call() {
+    ClassSymbol classSymbol = lastClassSymbol(
+      "class A:",
+      "  def foo(): ...",
+      "def func(): return A",
+      "class B(func()): ..."
+    );
+
+    assertThat(classSymbol.resolveMember("foo").isPresent()).isFalse();
+    assertThat(classSymbol.canHaveMember("foo")).isTrue();
+  }
+
   private static void assertEqualsWithoutUsages(ClassSymbolImpl classSymbol) {
     ClassSymbolImpl copied = classSymbol.copyWithoutUsages();
     assertThat(copied.hasUnresolvedTypeHierarchy()).isEqualTo(classSymbol.hasUnresolvedTypeHierarchy());