cleanup

Author: hvitved

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

@@ -1632,22 +1632,6 @@ private module MethodResolution {
       )
     }
 
-    private predicate testhasNoCompatibleTargetNoBorrow(string derefChain) {
-      exists(TypePath strippedTypePath, Type strippedType, ImplItemNode i |
-        this = Debug::getRelevantLocatable() and
-        (
-          this.supportsAutoDerefAndBorrow()
-          or
-          // needed for the `hasNoCompatibleTarget` check in
-          // `ReceiverSatisfiesBlanketLikeConstraintInput::hasBlanketCandidate`
-          derefChain = ""
-        ) and
-        strippedType = this.getComplexStrippedType(derefChain, TNoBorrowKind(), strippedTypePath) and
-        this.hasNoCompatibleTargetCheck(derefChain, TNoBorrowKind(), strippedTypePath, strippedType) and
-        methodCallBlanketLikeCandidate(this, _, i, _, _, _)
-      )
-    }
-
     /**
      * Holds if the candidate receiver type represented by `derefChain` does not have
      * a matching non-blanket method target.
@@ -1965,11 +1949,6 @@ private module MethodResolution {
       not result = TUnknownType()
     }
 
-    private Type testgetTypeAt(TypePath path) {
-      result = this.getTypeAt(path) and
-      mc_ = Debug::getRelevantLocatable()
-    }
-
     pragma[nomagic]
     predicate hasNoCompatibleNonBlanketTarget() {
       mc_.hasNoCompatibleNonBlanketTargetSharedBorrow(derefChain) and
@@ -2042,11 +2021,6 @@ private module MethodResolution {
       )
     }
 
-    private Method testresolveCallTarget(ImplOrTraitItemNode i) {
-      mc_ = Debug::getRelevantLocatable() and
-      result = this.resolveCallTarget(i)
-    }
-
     /** Gets a method that matches this method call. */
     pragma[nomagic]
     Method resolveCallTarget(ImplOrTraitItemNode i) {
@@ -2094,21 +2068,6 @@ private module MethodResolution {
   private module ReceiverIsInstantiationOfSelfParamInput implements
     IsInstantiationOfInputSig<MethodCallCand, AssocFunctionType>
   {
-    pragma[nomagic]
-    private predicate testpotentialInstantiationOf0(
-      MethodCallCand mcc, ImplOrTraitItemNode i, AssocFunctionType selfType
-    ) {
-      exists(
-        MethodCall mc, Method m, string name, int arity, TypePath strippedTypePath,
-        Type strippedType
-      |
-        mcc.hasSignature(mc, strippedTypePath, strippedType, name, arity) and
-        mc = Debug::getRelevantLocatable() and
-        methodCallBlanketLikeCandidate(mc, m, i, selfType, _, _) and
-        ReceiverSatisfiesBlanketLikeConstraint::satisfiesBlanketConstraint(mcc, i)
-      )
-    }
-
     pragma[nomagic]
     additional predicate potentialInstantiationOf0(
       MethodCallCand mcc, ImplOrTraitItemNode i, AssocFunctionType selfType
@@ -2368,31 +2327,13 @@ private module MethodCallMatchingInput implements MatchingWithEnvironmentInputSi
       result = this.getInferredNonSelfType(apos, path)
     }
 
-    private Type testgetInferredType(AccessPosition apos, TypePath path) {
-      this = Debug::getRelevantLocatable() and
-      result = this.getInferredNonSelfType(apos, path)
-    }
-
     Declaration getTarget(ImplOrTraitItemNode i, string derefChainBorrow) {
       exists(string derefChain, BorrowKind borrow |
         derefChainBorrow = encodeDerefChainBorrow(derefChain, borrow) and
         result = MkAssocFuntion(i, this.resolveCallTarget(i, derefChain, borrow)) // mutual recursion; resolving method calls requires resolving types and vice versa
       )
     }
 
-    private Declaration testgetTarget(
-      ImplOrTraitItemNode i, string derefChainBorrow, FunctionPosition pos, TypePath path, Type t
-    ) {
-      result = this.getTarget(i, derefChainBorrow) and
-      this = Debug::getRelevantLocatable() and
-      t = result.getDeclaredType(pos, path)
-    }
-
-    private Declaration testgetTarget(ImplOrTraitItemNode i, string derefChainBorrow) {
-      result = this.getTarget(i, derefChainBorrow) and
-      this = Debug::getRelevantLocatable()
-    }
-
     Declaration getTarget(string derefChainBorrow) { result = this.getTarget(_, derefChainBorrow) }
 
     /**
@@ -3138,12 +3079,6 @@ private module OperationMatchingInput implements MatchingInputSig {
         result = MkAssocFuntion(i, this.resolveCallTarget(i, _, _)) // mutual recursion
       )
     }
-
-    private Declaration testgetTarget(FunctionPosition pos, TypePath path, Type t) {
-      result = this.getTarget() and
-      this = Debug::getRelevantLocatable() and
-      t = result.getDeclaredType(pos, path)
-    }
   }
 }