hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 10:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Revert conjunct reorder

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-03-17 07:46:54 +01:00
parent 1b7f4e4d4b
commit 75355e9e53
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
shared/typeinference/codeql/typeinference/internal/TypeInference.qll
View File

@@ -540,8 +540,8 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
) {
not exists(getTypeArgument(a, target, tp, _)) and
exists(AccessPosition apos, DeclarationPosition dpos, TypePath pathToTypeParam |
accessDeclarationPositionMatch(apos, dpos) and
tp = target.getDeclaredType(dpos, pathToTypeParam) and
accessDeclarationPositionMatch(apos, dpos) and
adjustedAccessType(a, apos, target, pathToTypeParam.append(path), t)
)
}