We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
getReturnType
1 parent b822216 commit f2a0724Copy full SHA for f2a0724
rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
@@ -2974,7 +2974,7 @@ private module ConstructionMatchingInput implements MatchingInputSig {
2974
exists(Declaration d, TypeParameter tp |
2975
d = this.getTarget() and
2976
pos.isReturn() and
2977
- tp = d.getDeclaredType(pos, path) and
+ tp = d.getReturnType(path) and
2978
not exists(FunctionPosition pos2 | not pos2.isReturn() and tp = d.getDeclaredType(pos2, _)) and
2979
// check that no explicit type arguments have been supplied for `tp`
2980
not exists(TypeArgumentPosition tapos |
0 commit comments