debug

Author: hvitved

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

@@ -1637,6 +1637,11 @@ private module Debug {
     tm.resolveTypeAt(path) = type
   }
 
+  Type debugInferAnnotatedType(AstNode n, TypePath path) {
+    n = getRelevantLocatable() and
+    result = inferAnnotatedType(n, path)
+  }
+
   pragma[nomagic]
   private int countTypesAtPath(AstNode n, TypePath path, Type t) {
     t = inferType(n, path) and