Address review comment

hvitved · hvitved · commit 15c7428593aa · 2026-07-08T15:08:46.000+02:00
diff --git 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, _))
           )
         }
       }

Original file line number	Diff line number	Diff line change
`@@ -1529,7 +1529,8 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {`
`1529`	`1529`	`SatisfiesParameterConstraint::satisfiesConstraint(MkRelevantAccess(a,`
`1530`	`1530`	`pragma[only_bind_into](apos), e),`
`1531`	`1531`	`MkRelevantTarget(target, pragma[only_bind_into](apos)), pathToTp.appendInverse(path),`
`1532`		`- t)`
	`1532`	`+ t) and`
	`1533`	`+ not exists(getTypeArgument(a, target, tp, _))`
`1533`	`1534`	`)`
`1534`	`1535`	`}`
`1535`	`1536`	`}`