From 2cb0e81da0b4e1dc1e0473096e9fab0e8e70ad86 Mon Sep 17 00:00:00 2001
From: Simon Friis Vindum <simonfv@gmail.com>
Date: Tue, 27 Jan 2026 16:10:03 +0100
Subject: [PATCH] Rust: Remove duplicated inclusion of
 `getAdditionalPathTypeAt`

---
 rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll | 2 --
 1 file changed, 2 deletions(-)

diff --git a/rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll b/rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll
index 738b823ca10..f7dc0420f6a 100644
--- 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