From 5042fdee8494763812de02252948d26884f4429a Mon Sep 17 00:00:00 2001
From: Owen Mansel-Chan <owen-mc@github.com>
Date: Tue, 2 Jun 2026 21:53:14 +0100
Subject: [PATCH] Remove imprecise model for `list()`

---
 python/ql/lib/semmle/python/frameworks/Stdlib.qll | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/python/ql/lib/semmle/python/frameworks/Stdlib.qll b/python/ql/lib/semmle/python/frameworks/Stdlib.qll
index 30e27934a29..d41b656c6d5 100644
--- a/python/ql/lib/semmle/python/frameworks/Stdlib.qll
+++ b/python/ql/lib/semmle/python/frameworks/Stdlib.qll
@@ -4244,15 +4244,9 @@ module StdlibPrivate {
         )
         // TODO: Once we have DictKeyContent, we need to transform that into ListElementContent
       ) and
-      (
-        // Element content is mutated into list element content
-        output = "ReturnValue.ListElement" and
-        preservesValue = true
-        or
-        // Since list content is imprecise, we also taint the list.
-        output = "ReturnValue" and
-        preservesValue = false
-      )
+      // Element content is mutated into list element content
+      output = "ReturnValue.ListElement" and
+      preservesValue = true
       or
       input = "Argument[0]" and
       output = "ReturnValue" and