Merge pull request swiftlang#32426 from xedin/diag-overhaul-followup

[TypeChecker] NFC: Revise comments for `{typeCheck, solve}ForCodeComp…

Author: xedin

lib/Sema/CSSolver.cpp

@@ -1406,8 +1406,8 @@ void ConstraintSystem::solveForCodeCompletion(
     SolverState state(cs, FreeTypeVariableBinding::Disallow);
 
     // Enable "diagnostic mode" by default, this means that
-    // solver would produce "fixed" solutions along side of
-    // valid ones, which helps code completion to rank choices.
+    // solver would produce "fixed" solutions alongside valid
+    // ones, which helps code completion to rank choices.
     state.recordFixes = true;
 
     cs.solveImpl(solutions);

lib/Sema/ConstraintSystem.h

@@ -4731,17 +4731,16 @@ class ConstraintSystem {
   /// Construct and solve a system of constraints based on the given expression
   /// and its contextual information.
   ///
-  /// This menthod is designed to be used for code completion which means that
+  /// This method is designed to be used for code completion which means that
   /// it doesn't mutate given expression, even if there is a single valid
   /// solution, and constraint solver is allowed to produce partially correct
-  /// solutions, such solutions can have any number of holes in them, alongside
-  /// with valid ones.
+  /// solutions. Such solutions can have any number of holes in them.
   ///
   /// \param expr The expression involved in code completion.
   ///
   /// \param DC The declaration context this expression is found in.
   ///
-  /// \param contextualType The type expression is being converted to.
+  /// \param contextualType The type \p expr is being converted to.
   ///
   /// \param CTP When contextualType is specified, this indicates what
   /// the conversion is doing.

lib/Sema/TypeChecker.h

@@ -703,10 +703,10 @@ FunctionType *getTypeOfCompletionOperator(DeclContext *DC, Expr *LHS,
 /// Type check the given expression and provide results back to code completion
 /// via specified callback.
 ///
-/// This menthod is designed to be used for code completion which means that
-/// it doesn't mutate AST and constraint solver is allowed to produce partially
-/// correct solutions, such solutions can have any number of holes in them,
-/// alongside with valid ones.
+/// This method is designed to be used for code completion which means that
+/// it doesn't mutate given expression, even if there is a single valid
+/// solution, and constraint solver is allowed to produce partially correct
+/// solutions. Such solutions can have any number of holes in them.
 void typeCheckForCodeCompletion(
     Expr *expr, DeclContext *DC, Type contextualType, ContextualTypePurpose CTP,
     llvm::function_ref<void(const constraints::Solution &)> callback);