From 15c7428593aa13f73b3bfd454a1164bb69ee5f66 Mon Sep 17 00:00:00 2001
From: Tom Hvitved <hvitved@github.com>
Date: Wed, 8 Jul 2026 15:08:46 +0200
Subject: [PATCH] Address review comment

---
 .../codeql/typeinference/internal/TypeInference.qll            | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/shared/typeinference/codeql/typeinference/internal/TypeInference.qll b/shared/typeinference/codeql/typeinference/internal/TypeInference.qll
index 4e9ea9c0502..b90c53ebdba 100644
--- a/shared/typeinference/codeql/typeinference/internal/TypeInference.qll
+++ b/shared/typeinference/codeql/typeinference/internal/TypeInference.qll
@@ -1529,7 +1529,8 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
             SatisfiesParameterConstraint::satisfiesConstraint(MkRelevantAccess(a,
                 pragma[only_bind_into](apos), e),
               MkRelevantTarget(target, pragma[only_bind_into](apos)), pathToTp.appendInverse(path),
-              t)
+              t) and
+            not exists(getTypeArgument(a, target, tp, _))
           )
         }
       }