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

Rust: Fix a bad join

Browse Source
This commit is contained in:
Simon Friis Vindum
2026-02-09 14:57:42 +01:00
parent 624ee1898a
commit a033057d90
1 changed files with 12 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
View File

@@ -274,20 +274,21 @@ private class FunctionDeclaration extends Function {
this = i.asSome().getAnAssocItem()
}
TypeParam getTypeParam(ImplOrTraitItemNodeOption i) {
i = parent and
result = [this.getGenericParamList().getATypeParam(), i.asSome().getTypeParam(_)]
}
TypeParameter getTypeParameter(ImplOrTraitItemNodeOption i, TypeParameterPosition ppos) {
typeParamMatchPosition(this.getTypeParam(i), result, ppos)
or
// For every `TypeParam` of this function, any associated types accessed on
// the type parameter are also type parameters.
ppos.isImplicit() and
result.(TypeParamAssociatedTypeTypeParameter).getTypeParam() = this.getTypeParam(i)
or
i = parent and
(
exists(TypeParam tp |
tp = [this.getGenericParamList().getATypeParam(), i.asSome().getTypeParam(_)]
|
typeParamMatchPosition(tp, result, ppos)
or
// If `tp` is a type parameter for this function, then any associated
// types accessed on `tp` are also type parameters.
ppos.isImplicit() and
result.(TypeParamAssociatedTypeTypeParameter).getTypeParam() = tp
)
or
ppos.isImplicit() and result = TSelfTypeParameter(i.asSome())
or
ppos.isImplicit() and result.(AssociatedTypeTypeParameter).getTrait() = i.asSome()