We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
illFormedTypeMention
1 parent f7195f0 commit 04d8b3fCopy full SHA for 04d8b3f
rust/ql/lib/codeql/rust/internal/TypeInferenceConsistency.qll
@@ -9,6 +9,7 @@ import TypeInference::Consistency
9
10
query predicate illFormedTypeMention(TypeMention tm) {
11
Consistency::illFormedTypeMention(tm) and
12
+ not tm instanceof PathTypeReprMention and // avoid overlap with `PathTypeMention`
13
// Only include inconsistencies in the source, as we otherwise get
14
// inconsistencies from library code in every project.
15
tm.fromSource()
0 commit comments