Rust: Use member predicate from path resolution

paldepind · paldepind · commit 0ce06e88188d · 2025-05-26T15:12:33.000+02:00
diff --git a/rust/ql/lib/codeql/rust/internal/TypeInference.qll b/rust/ql/lib/codeql/rust/internal/TypeInference.qll
@@ -1084,7 +1084,7 @@ private predicate methodCandidate(Type type, string name, int arity, Impl impl)
  */
 pragma[nomagic]
 private predicate methodCandidateTrait(Type type, Trait trait, string name, int arity, Impl impl) {
-  trait = resolvePath(impl.getTrait().(PathTypeRepr).getPath()) and
+  trait = resolvePath(impl.(ImplItemNode).getTraitPath()) and
   methodCandidate(type, name, arity, impl)
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1084,7 +1084,7 @@ private predicate methodCandidate(Type type, string name, int arity, Impl impl)`
`1084`	`1084`	`*/`
`1085`	`1085`	`pragma[nomagic]`
`1086`	`1086`	`private predicate methodCandidateTrait(Type type, Trait trait, string name, int arity, Impl impl) {`
`1087`		`- trait = resolvePath(impl.getTrait().(PathTypeRepr).getPath()) and`
	`1087`	`+ trait = resolvePath(impl.(ImplItemNode).getTraitPath()) and`
`1088`	`1088`	`methodCandidate(type, name, arity, impl)`
`1089`	`1089`	`}`
`1090`	`1090`