Rust: Remove condition that always holds

paldepind · paldepind · commit 35438294d10d · 2025-09-15T10:58:27.000+02:00
diff --git a/rust/ql/lib/codeql/rust/internal/PathResolution.qll b/rust/ql/lib/codeql/rust/internal/PathResolution.qll
@@ -650,7 +650,6 @@ final class ImplItemNode extends ImplOrTraitItemNode instanceof Impl {
 
   TypeParamItemNode getBlanketImplementationTypeParam() {
     result = this.resolveSelfTy() and
-    result = super.getGenericParamList().getAGenericParam() and
     // This impl block is not superseded by the expansion of an attribute macro.
     not exists(super.getAttributeMacroExpansion())
   }

Original file line number	Diff line number	Diff line change
`@@ -650,7 +650,6 @@ final class ImplItemNode extends ImplOrTraitItemNode instanceof Impl {`
`650`	`650`
`651`	`651`	`TypeParamItemNode getBlanketImplementationTypeParam() {`
`652`	`652`	`result = this.resolveSelfTy() and`
`653`		`- result = super.getGenericParamList().getAGenericParam() and`
`654`	`653`	`// This impl block is not superseded by the expansion of an attribute macro.`
`655`	`654`	`not exists(super.getAttributeMacroExpansion())`
`656`	`655`	`}`