Address review comment

2026-07-10 05:55:32 +02:00 · 2026-07-08 15:08:46 +02:00
parent 05ce686d43
commit 15c7428593
1 changed files with 2 additions and 1 deletions
--- 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, _))
          )
        }
      }