SONARPY-1830 Prevent single-assigned module scope types from being propagated to nested functions

Author: guillaume-dequenne

python-checks/src/test/resources/checks/nonCallableCalled.py

@@ -217,7 +217,7 @@ def calling_global_func():
 
 def using_nonlocal_var():
     nonlocal some_nonlocal_var
-    some_nonlocal_var()  # Noncompliant
+    some_nonlocal_var()  # OK
 
 
 def reassigned_function():

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

@@ -364,6 +364,8 @@ public void visitName(Name name) {
       .filter(Expression.class::isInstance)
       .map(Expression.class::cast)
       .map(Expression::typeV2)
+      // FIXME: classes and functions should be propagated like other types
+      .filter(t -> (t instanceof ClassType) || (t instanceof FunctionType))
       .ifPresent(type -> setTypeToName(name, type));
   }
 

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

@@ -287,7 +287,6 @@ void inferTypeForBuiltins() {
   }
 
   @Test
-  @Disabled("Single assigned is approximated for now")
   void inferTypesInsideFunction1() {
     FileInput root = inferTypes("""
       x = 42