Address review comments

Author: hvitved

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

@@ -49,7 +49,7 @@ private module MkSiblingImpls<resolveTypeMentionAtSig/2 resolveTypeMentionAt> {
   }
 
   /**
-   * Holds if `impl1` and `impl2` are a sibling implementations of `trait`. We
+   * Holds if `impl1` and `impl2` are sibling implementations of `trait`. We
    * consider implementations to be siblings if they implement the same trait for
    * the same type. In that case `Self` is the same type in both implementations,
    * and method calls to the implementations cannot be resolved unambiguously
@@ -62,7 +62,7 @@ private module MkSiblingImpls<resolveTypeMentionAtSig/2 resolveTypeMentionAt> {
       exists(Type rootType, AstNode selfTy1, AstNode selfTy2 |
         implSiblingCandidate(impl1, trait, rootType, selfTy1) and
         implSiblingCandidate(impl2, trait, rootType, selfTy2) and
-        // In principle the second conjunct below should be superflous, but we still
+        // In principle the second conjunct below should be superfluous, but we still
         // have ill-formed type mentions for types that we don't understand. For
         // those checking both directions restricts further. Note also that we check
         // syntactic equality, whereas equality up to renaming would be more

shared/typeinference/codeql/typeinference/internal/TypeInference.qll

@@ -1194,7 +1194,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
       predicate dissatisfiesConstraint(Term term, Constraint constraint) {
         hasNotConstraintMention(term, constraint, _) and
         exists(Type t, Type constraintRoot |
-          hasTypeConstraint(term, t, constraint, constraintRoot) and // todo
+          hasTypeConstraint(term, t, constraint, constraintRoot) and
           t != constraintRoot
         )
       }