SONARPY-1866 Infer types of reassigned parameters even when they don't have type annotations (#1809)

Author: maksim-grebeniuk-sonarsource

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

@@ -88,8 +88,6 @@ private void inferTypesAndMemberAccessSymbols(FileInput fileInput) {
 
   private void inferTypesAndMemberAccessSymbols(FunctionDef functionDef) {
     Set<Name> parameterNames = TreeUtils.nonTupleParameters(functionDef).stream()
-      // TODO SONARPY-1866: it probably doesn't make sense to restrict to annotated parameters here
-      .filter(parameter -> parameter.typeAnnotation() != null)
       .map(Parameter::name)
       .collect(Collectors.toSet());
     Set<SymbolV2> localVariables = symbolTable.getSymbolsByRootTree(functionDef);

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

@@ -377,7 +377,7 @@ def foo(param):
 
     var functionDef = (FunctionDef) root.statements().statements().get(0);
     var lastExpressionStatement = (ExpressionStatement) functionDef.body().statements().get(functionDef.body().statements().size() -1);
-    Assertions.assertThat(lastExpressionStatement.expressions().get(0).typeV2().unwrappedType()).isEqualTo(PythonType.UNKNOWN);
+    Assertions.assertThat(lastExpressionStatement.expressions().get(0).typeV2().unwrappedType()).isEqualTo(STR_TYPE);
   }
 
   @Test