Address review comments (iv)

Author: hvitved

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

@@ -1381,7 +1381,7 @@ private module MethodResolution {
       exists(mc.getACandidateReceiverTypeAt(derefChain, borrow, _))
     }
 
-  /** A method call tagged with a candidate receiver type. */
+  /** A method call with a dereference chain and a potential borrow. */
   private class MethodCallCand extends MkMethodCallCand {
     MethodCall mc_;
     string derefChain;

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

@@ -77,7 +77,7 @@ private newtype TAssocFunctionType =
     exists(pos.getTypeMention(f))
   } or
   MkInheritedAssocFunctionType(
-    Function f, FunctionPosition pos, TypeMention parentMention, ImplOrTraitItemNode parent,
+    Function f, FunctionPosition pos, TypeMention parentMention, TraitItemNode parent,
     ImplOrTraitItemNode i
   ) {
     exists(AssocFunctionType inherited |
@@ -132,7 +132,7 @@ class AssocFunctionType extends TAssocFunctionType {
   }
 
   private predicate isInheritedFunctionType(
-    Function f, FunctionPosition pos, TypeMention parentMention, ImplOrTraitItemNode parent,
+    Function f, FunctionPosition pos, TypeMention parentMention, TraitItemNode parent,
     ImplOrTraitItemNode i
   ) {
     this = MkInheritedAssocFunctionType(f, pos, parentMention, parent, i)
@@ -157,7 +157,7 @@ class AssocFunctionType extends TAssocFunctionType {
     )
     or
     exists(
-      Function f, FunctionPosition pos, TypeMention parentMention, ImplOrTraitItemNode parent,
+      Function f, FunctionPosition pos, TypeMention parentMention, TraitItemNode parent,
       AssocFunctionType parentType, ImplOrTraitItemNode i
     |
       this.isInheritedFunctionType(f, pos, parentMention, parent, i) and