[ConstraintSystem] Print constraints added/removed during simplification.

Author: Amritpan Kaur

include/swift/Sema/ConstraintSystem.h

@@ -4422,6 +4422,14 @@ class ConstraintSystem {
     // Add this constraint to the constraint graph.
     CG.addConstraint(constraint);
 
+    if (isDebugMode() && getPhase() == ConstraintSystemPhase::Solving) {
+      auto &log = llvm::errs();
+      log.indent(solverState->getCurrentIndent() + 2);
+      log << "(added constraint: ";
+      constraint->print(log, &getASTContext().SourceMgr);
+      log << ")\n";
+    }
+
     // Record this as a newly-generated constraint.
     if (solverState)
       solverState->addGeneratedConstraint(constraint);
@@ -4432,6 +4440,14 @@ class ConstraintSystem {
     CG.removeConstraint(constraint);
     InactiveConstraints.erase(constraint);
 
+    if (isDebugMode() && getPhase() == ConstraintSystemPhase::Solving) {
+      auto &log = llvm::errs();
+      log.indent(solverState->getCurrentIndent() + 2);
+      log << "(removed constraint: ";
+      constraint->print(log, &getASTContext().SourceMgr);
+      log << ")\n";
+    }
+
     if (solverState)
       solverState->retireConstraint(constraint);
   }