Address review comments

Author: hvitved

rust/ql/lib/codeql/rust/elements/internal/InvocationExprImpl.qll

@@ -22,7 +22,13 @@ module Impl {
     /**
      * Holds if this call position is a type qualifier, that is, not an actual
      * argument, but rather an annotation that is needed to resolve the call target,
-     * just like actual arguments may be need to resolve the call target.
+     * just like actual arguments may be needed to resolve the call target.
+     *
+     * Example:
+     * ```rust
+     *    Vec<i64>::new();
+     * // ^^^^^^^^ type qualifier
+     * ```
      */
     predicate isTypeQualifier() { this = TTypeQualifierArgumentPosition() }
 

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

@@ -86,7 +86,7 @@ private newtype TAssocFunctionType =
     // through `i`. This ensures that `parent` is either a supertrait of `i` or
     // `i` in an `impl` block implementing `parent`.
     (parent = i or BaseTypes::rootTypesSatisfaction(_, TTrait(parent), i, _, _)) and
-    // We always include the type qualifer position, even for non-methods, where it is used
+    // We always include the type qualifier position, even for non-methods, where it is used
     // to match type qualifiers against the `impl` or trait type, such as in `Vec::new`.
     (exists(pos.getTypeMention(f)) or pos.isTypeQualifier())
   }