Rust: Remove mistakenly included inherited associated types

paldepind · paldepind · commit 114db99dca00 · 2026-01-22T11:44:26.000+01:00
diff --git a/rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll b/rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
@@ -3770,12 +3770,12 @@ private module ForIterableSatisfiesConstraintInput implements
 
 pragma[nomagic]
 private AssociatedTypeTypeParameter getIteratorItemTypeParameter() {
-  result.getTypeAlias() = any(IteratorTrait t).getItemType()
+  result = getAssociatedTypeTypeParameter(any(IteratorTrait t).getItemType())
 }
 
 pragma[nomagic]
 private AssociatedTypeTypeParameter getIntoIteratorItemTypeParameter() {
-  result.getTypeAlias() = any(IntoIteratorTrait t).getItemType()
+  result = getAssociatedTypeTypeParameter(any(IntoIteratorTrait t).getItemType())
 }
 
 pragma[nomagic]

Original file line number	Diff line number	Diff line change
`@@ -3770,12 +3770,12 @@ private module ForIterableSatisfiesConstraintInput implements`
`3770`	`3770`
`3771`	`3771`	`pragma[nomagic]`
`3772`	`3772`	`private AssociatedTypeTypeParameter getIteratorItemTypeParameter() {`
`3773`		`- result.getTypeAlias() = any(IteratorTrait t).getItemType()`
	`3773`	`+ result = getAssociatedTypeTypeParameter(any(IteratorTrait t).getItemType())`
`3774`	`3774`	`}`
`3775`	`3775`
`3776`	`3776`	`pragma[nomagic]`
`3777`	`3777`	`private AssociatedTypeTypeParameter getIntoIteratorItemTypeParameter() {`
`3778`		`- result.getTypeAlias() = any(IntoIteratorTrait t).getItemType()`
	`3778`	`+ result = getAssociatedTypeTypeParameter(any(IntoIteratorTrait t).getItemType())`
`3779`	`3779`	`}`
`3780`	`3780`
`3781`	`3781`	`pragma[nomagic]`