WIP

Author: paldepind

rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll

@@ -4142,6 +4142,22 @@ private module Cached {
   }
 }
 
+predicate getTpAssociatedTypeTypeMention(Function f, Path path, TypeParam tp, TypeAlias assoc) {
+  tp = f.(FunctionItemNode).getTypeParam(_) and
+  resolvePath(path.getQualifier()) = tp and
+  resolvePath(path) = assoc
+}
+
+predicate bingoBongo(TypeParam tp, TypeAlias assoc, Type type) {
+  exists(TypeBound tb |
+    tb = tp.getATypeBound() and
+    type =
+      tb.getTypeRepr()
+          .(TypeMention)
+          .getTypeAt(TypePath::singleton(TAssociatedTypeTypeParameter(_, assoc)))
+  )
+}
+
 import Cached
 
 /**