hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-12 05:01:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Remove duplicated inclusion of getAdditionalPathTypeAt

Browse Source
This commit is contained in:
Simon Friis Vindum
2026-01-27 16:10:03 +01:00
parent aae5333325
commit 2cb0e81da0
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll
View File

@@ -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