SONARPY-2177 ProjectLevelTypeTable#getType should stop trying to look in ObjectType for members

Author: ghislainpiot

python-frontend/src/main/java/org/sonar/python/semantic/v2/ProjectLevelTypeTable.java

@@ -25,6 +25,7 @@
 import java.util.stream.IntStream;
 import org.sonar.python.semantic.ProjectLevelSymbolTable;
 import org.sonar.python.types.v2.ModuleType;
+import org.sonar.python.types.v2.ObjectType;
 import org.sonar.python.types.v2.PythonType;
 
 public class ProjectLevelTypeTable {
@@ -65,6 +66,9 @@ public PythonType getType(List<String> typeFqnParts) {
     var parent = (PythonType) rootModule;
     for (int i = 0; i < typeFqnParts.size(); i++) {
       var part = typeFqnParts.get(i);
+      if (parent instanceof ObjectType) {
+        return PythonType.UNKNOWN;
+      }
       Optional<PythonType> resolvedMember = parent.resolveMember(part);
       if (resolvedMember.isPresent()) {
         parent = resolvedMember.get();

python-frontend/src/test/java/org/sonar/python/semantic/v2/TypeInferenceV2Test.java

@@ -2356,6 +2356,16 @@ void basic_imported_symbols() {
     assertThat(((UnionType) mathModule.resolveMember("acos").get()).candidates()).allMatch(FunctionType.class::isInstance);
   }
 
+  @Test
+  // TODO SONARPY-2176 ProjectLevelSymbolTable#getType should be able to resolve types when there is a conflict between a member and a subpackage
+  void import_conflict_between_member_and_submodule() {
+    var statement = lastExpression("""
+      import opentracing.tracer.Tracer as ottt
+      ottt
+      """);
+    assertThat(statement.typeV2()).isInstanceOf(UnknownType.class);
+  }
+
   @Test
   void isInstanceTests() {
     var xType = lastExpression("""