Rust: Remove duplicated inclusion of getAdditionalPathTypeAt

paldepind · paldepind · commit 2cb0e81da0b4 · 2026-01-27T16:17:52.000+01:00
diff --git a/rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll b/rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll
@@ -107,8 +107,6 @@ private module MkTypeMention<getAdditionalPathTypeAtSig/2 getAdditionalPathTypeA
     abstract Type resolvePathTypeAt(TypePath typePath);
 
     final override Type getTypeAt(TypePath typePath) {
-      result = getAdditionalPathTypeAt(this, typePath)
-      or
       result = this.resolvePathTypeAt(typePath) and
       (
         not result instanceof TypeParameter

Original file line number	Diff line number	Diff line change
`@@ -107,8 +107,6 @@ private module MkTypeMention<getAdditionalPathTypeAtSig/2 getAdditionalPathTypeA`
`107`	`107`	`abstract Type resolvePathTypeAt(TypePath typePath);`
`108`	`108`
`109`	`109`	`final override Type getTypeAt(TypePath typePath) {`
`110`		`- result = getAdditionalPathTypeAt(this, typePath)`
`111`		`- or`
`112`	`110`	`result = this.resolvePathTypeAt(typePath) and`
`113`	`111`	`(`
`114`	`112`	`not result instanceof TypeParameter`