From 6f2cc43f32bd6e1a8822425542fc199a534cd41d Mon Sep 17 00:00:00 2001
From: Owen Mansel-Chan <owen-mc@github.com>
Date: Tue, 2 Jun 2026 21:55:58 +0100
Subject: [PATCH] Remove imprecise model for `tuple()`

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

diff --git a/python/ql/lib/semmle/python/frameworks/Stdlib.qll b/python/ql/lib/semmle/python/frameworks/Stdlib.qll
index d41b656c6d5..014ef4e9f64 100644
--- a/python/ql/lib/semmle/python/frameworks/Stdlib.qll
+++ b/python/ql/lib/semmle/python/frameworks/Stdlib.qll
@@ -4271,14 +4271,9 @@ module StdlibPrivate {
         preservesValue = true
       )
       or
-      (
-        input = "Argument[0]" and
-        preservesValue = false
-        or
-        input = "Argument[0].ListElement" and
-        preservesValue = true
-      ) and
-      output = "ReturnValue"
+      input = "Argument[0].ListElement" and
+      output = "ReturnValue" and
+      preservesValue = true
     }
   }