SONARPY-3127 Fix S7496 Rule: should not raise if an type annotation is present

GitOrigin-RevId: 38b4a13a058402b6684a87cb6982e88b9a3a713a

Author: maksim-grebeniuk-sonarsource

python-checks/src/main/java/org/sonar/python/checks/CollectionCreationWrappedInConstructorCheck.java

@@ -28,6 +28,7 @@
 import org.sonar.plugins.python.api.tree.ComprehensionExpression;
 import org.sonar.plugins.python.api.tree.Expression;
 import org.sonar.plugins.python.api.tree.RegularArgument;
+import org.sonar.plugins.python.api.tree.SubscriptionExpression;
 import org.sonar.plugins.python.api.tree.Tree;
 import org.sonar.plugins.python.api.tree.Tree.Kind;
 import org.sonar.python.checks.utils.IsComprehensionTransformedChecker;
@@ -87,7 +88,7 @@ private void checkCalls(SubscriptionContext ctx) {
     }
 
     var collectionType = collectionTypeCheckerMap.getForType(callee.typeV2());
-    if (collectionType == null) {
+    if (collectionType == null || callee instanceof SubscriptionExpression) {
       return;
     }
 

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

@@ -48,6 +48,8 @@ def test_list():
 
     l7 = list({x:x for x in [1,2]}) # Noncompliant {{Replace this list constructor call by a list literal.}}
 
+    l8 = list[int | None]([None]) # Compliant: list call is used to specify the list generic type
+
 def test_set():
     s = set(x * 2 for x in [1,2,3]) # Compliant