[ConstraintSystem] NFC: Fix a couple of typos in comments

Author: xedin

lib/Sema/ConstraintSystem.cpp

@@ -2770,7 +2770,7 @@ std::string swift::describeGenericType(ValueDecl *GP, bool includeName) {
 /// }
 ///
 /// It's done by first retrieving all generic parameters from each solution,
-/// filtering boundings into distrinct set and diagnosing any differences.
+/// filtering bindings into a distinct set and diagnosing any differences.
 static bool diagnoseConflictingGenericArguments(ConstraintSystem &cs,
                                                 const SolutionDiff &diff,
                                                 ArrayRef<Solution> solutions) {

test/type/opaque.swift

@@ -273,7 +273,7 @@ func associatedTypeIdentity() {
   sameType(cr, dr) // expected-error {{conflicting arguments to generic parameter 'T' ('(some R).S' (associated type of protocol 'R') vs. '(some R).S' (associated type of protocol 'R'))}}
   sameType(gary(candace()).r_out(), gary(candace()).r_out())
   sameType(gary(doug()).r_out(), gary(doug()).r_out())
-  // TODO(diagnostics): This is not great but we the problem comes from the way solver discovers and attempts bindings, if we could detect that
+  // TODO(diagnostics): This is not great but the problem comes from the way solver discovers and attempts bindings, if we could detect that
   // `(some R).S` from first reference to `gary()` in incosistent with the second one based on the parent type of `S` it would be much easier to diagnose.
   sameType(gary(doug()).r_out(), gary(candace()).r_out())
   // expected-error@-1:3  {{conflicting arguments to generic parameter 'T' ('(some R).S' (associated type of protocol 'R') vs. '(some R).S' (associated type of protocol 'R'))}}