[Constraint] Eliminate repetitive locators to make useful information easier to read.

Author: Amritpan Kaur

include/swift/Sema/Constraint.h

@@ -852,7 +852,10 @@ class Constraint final : public llvm::ilist_node<Constraint>,
   /// Clone the given constraint.
   Constraint *clone(ConstraintSystem &cs) const;
 
-  void print(llvm::raw_ostream &Out, SourceManager *sm) const;
+  /// Print constraint placed on type and constraint properties.
+  ///
+  /// \c skipLocator skips printing of locators.
+  void print(llvm::raw_ostream &Out, SourceManager *sm, bool skipLocator = false) const;
 
   SWIFT_DEBUG_DUMPER(dump(SourceManager *SM));
 

lib/Sema/Constraint.cpp

@@ -322,7 +322,7 @@ Constraint *Constraint::clone(ConstraintSystem &cs) const {
   llvm_unreachable("Unhandled ConstraintKind in switch.");
 }
 
-void Constraint::print(llvm::raw_ostream &Out, SourceManager *sm) const {
+void Constraint::print(llvm::raw_ostream &Out, SourceManager *sm, bool skipLocator) const {
   // Print all type variables as $T0 instead of _ here.
   PrintOptions PO;
   PO.PrintTypesForDebugging = true;
@@ -337,7 +337,8 @@ void Constraint::print(llvm::raw_ostream &Out, SourceManager *sm) const {
     if (isIsolated())
       Out << " (isolated)";
 
-    if (Locator) {
+    auto firstLocator = Locator;
+    if (firstLocator) {
       Out << " [[";
       Locator->dump(sm, Out);
       Out << "]]";
@@ -352,7 +353,8 @@ void Constraint::print(llvm::raw_ostream &Out, SourceManager *sm) const {
                    Out << ">  [favored]  ";
                  else
                    Out << ">             ";
-                 constraint->print(Out, sm);
+                 constraint->print(Out, sm,
+                   /*skipLocator=*/constraint->getLocator() == firstLocator);
                },
                [&] { Out << "\n"; });
     return;
@@ -522,7 +524,7 @@ void Constraint::print(llvm::raw_ostream &Out, SourceManager *sm) const {
     fix->print(Out);
   }
 
-  if (Locator) {
+  if (Locator && !skipLocator) {
     Out << " [[";
     Locator->dump(sm, Out);
     Out << "]];";