We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e610465 commit 26919a6Copy full SHA for 26919a6
rust/ql/lib/codeql/rust/internal/TypeInference.qll
@@ -229,9 +229,9 @@ module Consistency {
229
t = CertainTypeInference::inferCertainType(n, path) and
230
// Suppress the inconsistency if `n` is a self parameter and the type
231
// mention for the self type has multiple types for a path.
232
- not exists(ImplItemNode impl, TypePath path0 |
+ not exists(ImplItemNode impl, TypePath selfTypePath |
233
n = impl.getAnAssocItem().(Function).getParamList().getSelfParam() and
234
- strictcount(impl.(Impl).getSelfTy().(TypeMention).resolveTypeAt(path0)) > 1
+ strictcount(impl.(Impl).getSelfTy().(TypeMention).resolveTypeAt(selfTypePath)) > 1
235
)
236
}
237
0 commit comments