hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Remove TC from ImplTraitTypeRepr.isInReturnPos

Browse Source
This commit is contained in:
Tom Hvitved
2025-08-15 12:45:13 +02:00
parent 0512940c0c
commit 1af6ddd8e3
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
rust/ql/lib/codeql/rust/elements/internal/ImplTraitTypeReprImpl.qll
View File

@@ -23,14 +23,18 @@ module Impl {
* ```
*/
class ImplTraitTypeRepr extends Generated::ImplTraitTypeRepr {
/** Gets the function for which this impl trait type occurs, if any. */
Function getFunction() {
this.getParentNode*() = [result.getRetType().getTypeRepr(), result.getAParam().getTypeRepr()]
pragma[nomagic]
private TypeRepr getFunctionTypeRepr(Function f) {
this.getParentNode*() = result and
result = [f.getRetType().getTypeRepr(), f.getAParam().getTypeRepr()]
}
/** Gets the function for which this impl trait type occurs, if any. */
Function getFunction() { exists(this.getFunctionTypeRepr(result)) }
/** Holds if this impl trait type occurs in the return type of a function. */
predicate isInReturnPos() {
this.getParentNode*() = this.getFunction().getRetType().getTypeRepr()
exists(Function f | f.getRetType().getTypeRepr() = this.getFunctionTypeRepr(f))
}
}
}