wip13

Author: hvitved

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

@@ -147,9 +147,9 @@ module Stages {
     predicate backref() {
       1 = 1
       or
-      exists(Type t)
+      (exists(Type t) implies any())
       or
-      exists(inferType(_))
+      (exists(inferType(_)) implies any())
     }
   }
 

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

@@ -10,6 +10,7 @@ private import TypeAbstraction as TA
 private import Type as T
 private import TypeMention
 private import codeql.rust.internal.typeinference.DerefChain
+private import codeql.rust.internal.CachedStages
 private import FunctionType
 private import FunctionOverloading as FunctionOverloading
 private import BlanketImplementation as BlanketImplementation
@@ -276,6 +277,8 @@ private module Input3 implements InputSig3 {
   private import rust as Rust
 
   predicate cachedStageRevRef() {
+    Stages::TypeInferenceStage::ref()
+    or
     (implicitDerefChainBorrow(_, _, _) implies any())
     or
     (exists(resolveCallTarget(_, _)) implies any())