Merge pull request #21251 from hvitved/rust/fix-bad-join

hvitved · web-flow · commit 6fbf72730991 · 2026-02-02T19:12:30.000+01:00
Rust: Fix bad join
diff --git a/rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll b/rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll
@@ -323,7 +323,7 @@ private module MkTypeMention<getAdditionalPathTypeAtSig/2 getAdditionalPathTypeA
         this = impl.getTraitPath() and
         alias = impl.getASuccessor(name) and
         result = alias.getTypeRepr() and
-        tp = TAssociatedTypeTypeParameter(resolved, getTraitAssocType(resolved, name))
+        tp = TAssociatedTypeTypeParameter(resolved, resolved.(TraitItemNode).getAssocItem(name))
       )
     }
 

Original file line number	Diff line number	Diff line change
`@@ -323,7 +323,7 @@ private module MkTypeMention<getAdditionalPathTypeAtSig/2 getAdditionalPathTypeA`
`323`	`323`	`this = impl.getTraitPath() and`
`324`	`324`	`alias = impl.getASuccessor(name) and`
`325`	`325`	`result = alias.getTypeRepr() and`
`326`		`- tp = TAssociatedTypeTypeParameter(resolved, getTraitAssocType(resolved, name))`
	`326`	`+ tp = TAssociatedTypeTypeParameter(resolved, resolved.(TraitItemNode).getAssocItem(name))`
`327`	`327`	`)`
`328`	`328`	`}`
`329`	`329`