SONARPY-5038 S5644: Allow item assignment on TypedDict instances

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
GitOrigin-RevId: 379673d528f95adc3ade63b4ecc4175ae30acf6a

Author: 2 people

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

@@ -62,6 +62,9 @@ public class ItemOperationsTypeCheck extends ItemOperationsType {
 
   private static final TypeMatcher UNION_TYPE = TypeMatchers.isType("types.UnionType");
 
+  // TypedDict instances are dicts at runtime; typing._TypedDict omits the item assignment synthesized by type checkers
+  private static final TypeMatcher TYPED_DICT_INSTANCE = TypeMatchers.isObjectInstanceOf("typing._TypedDict");
+
   private static final Set<String> TYPING_LITERAL = Set.of("typing.Literal", "typing_extensions.Literal");
   private static final Set<String> TYPING_ANNOTATED = Set.of("typing.Annotated", "typing_extensions.Annotated");
 
@@ -96,6 +99,10 @@ public boolean isValidSubscription(Expression subscriptionObject, String require
       }
     }
 
+    if (TYPED_DICT_INSTANCE.isTrueFor(subscriptionObject, context)) {
+      return true;
+    }
+
     // Preserve the existing V1 check when V2 has no type information at all.
     if (!(subscriptionObject.typeV2() instanceof UnknownType)
       && !KNOWN_DECORATOR_EFFECTS.isTrueFor(subscriptionObject, context)) {

python-checks/src/test/resources/checks/itemOperationsTypeCheck/itemOperations_setitem.py

@@ -186,3 +186,21 @@ class FinalClass:
         pass
 
     FinalClass[0] = 1  # Noncompliant
+
+
+def typed_dict_instances(customer, days_until_due):
+    # TypedDict instances are dictionaries at runtime: typing._TypedDict omits the __setitem__ synthesized by type checkers
+    import stripe
+    from typing import TypedDict
+
+    list_params = stripe.params.InvoiceListParams(customer=customer, limit=1)
+    list_params["total"] = 0
+    invoice_params = stripe.params.InvoiceCreateParams(customer=customer)
+    invoice_params["days_until_due"] = days_until_due
+    del invoice_params["days_until_due"]
+
+    class LocalParams(TypedDict):
+        total: int
+
+    local_params = LocalParams(total=1)
+    local_params["total"] = 2