cleanup

Author: hvitved

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

@@ -1632,22 +1632,6 @@ private module MethodResolution{
 )
 }
 
-privatepredicatetesthasNoCompatibleTargetNoBorrow(stringderefChain){
-exists(TypePathstrippedTypePath,TypestrippedType,ImplItemNodei|
-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{
 notresult=TUnknownType()
 }
 
-privateTypetestgetTypeAt(TypePathpath){
-result=this.getTypeAt(path)and
-mc_= Debug::getRelevantLocatable()
-}
-
 pragma[nomagic]
 predicatehasNoCompatibleNonBlanketTarget(){
 mc_.hasNoCompatibleNonBlanketTargetSharedBorrow(derefChain)and
@@ -2042,11 +2021,6 @@ private module MethodResolution{
 )
 }
 
-privateMethodtestresolveCallTarget(ImplOrTraitItemNodei){
-mc_= Debug::getRelevantLocatable()and
-result=this.resolveCallTarget(i)
-}
-
 /** Gets a method that matches this method call. */
 pragma[nomagic]
 MethodresolveCallTarget(ImplOrTraitItemNodei){
@@ -2094,21 +2068,6 @@ private module MethodResolution{
 privatemodule ReceiverIsInstantiationOfSelfParamInput implements
  IsInstantiationOfInputSig<MethodCallCand,AssocFunctionType>
 {
-pragma[nomagic]
-privatepredicatetestpotentialInstantiationOf0(
-MethodCallCandmcc,ImplOrTraitItemNodei,AssocFunctionTypeselfType
-){
-exists(
-MethodCallmc,Methodm,stringname,intarity,TypePathstrippedTypePath,
-TypestrippedType
-|
-mcc.hasSignature(mc,strippedTypePath,strippedType,name,arity)and
-mc= Debug::getRelevantLocatable()and
-methodCallBlanketLikeCandidate(mc,m,i,selfType, _, _)and
- ReceiverSatisfiesBlanketLikeConstraint::satisfiesBlanketConstraint(mcc,i)
-)
-}
-
 pragma[nomagic]
 additionalpredicatepotentialInstantiationOf0(
 MethodCallCandmcc,ImplOrTraitItemNodei,AssocFunctionTypeselfType
@@ -2368,31 +2327,13 @@ private module MethodCallMatchingInput implements MatchingWithEnvironmentInputSi
 result=this.getInferredNonSelfType(apos,path)
 }
 
-privateTypetestgetInferredType(AccessPositionapos,TypePathpath){
-this= Debug::getRelevantLocatable()and
-result=this.getInferredNonSelfType(apos,path)
-}
-
 DeclarationgetTarget(ImplOrTraitItemNodei,stringderefChainBorrow){
 exists(stringderefChain,BorrowKindborrow|
 derefChainBorrow=encodeDerefChainBorrow(derefChain,borrow)and
 result=MkAssocFuntion(i,this.resolveCallTarget(i,derefChain,borrow))// mutual recursion; resolving method calls requires resolving types and vice versa
 )
 }
 
-privateDeclarationtestgetTarget(
-ImplOrTraitItemNodei,stringderefChainBorrow,FunctionPositionpos,TypePathpath,Typet
-){
-result=this.getTarget(i,derefChainBorrow)and
-this= Debug::getRelevantLocatable()and
-t=result.getDeclaredType(pos,path)
-}
-
-privateDeclarationtestgetTarget(ImplOrTraitItemNodei,stringderefChainBorrow){
-result=this.getTarget(i,derefChainBorrow)and
-this= Debug::getRelevantLocatable()
-}
-
 DeclarationgetTarget(stringderefChainBorrow){result=this.getTarget(_,derefChainBorrow)}
 
 /**
@@ -3138,12 +3079,6 @@ private module OperationMatchingInput implements MatchingInputSig{
 result=MkAssocFuntion(i,this.resolveCallTarget(i, _, _))// mutual recursion
 )
 }
-
-privateDeclarationtestgetTarget(FunctionPositionpos,TypePathpath,Typet){
-result=this.getTarget()and
-this= Debug::getRelevantLocatable()and
-t=result.getDeclaredType(pos,path)
-}
 }
 }