[CSStep] List type variables in scope under consideration for each component step.

Author: Amritpan Kaur

lib/Sema/CSStep.h

@@ -467,10 +467,28 @@ class ComponentStep final : public SolverStep {
     if (IsSingle)
       return;
 
-    if (CS.isDebugMode())
-      getDebugLogger() << "(solving component #" << Index << '\n';
-
     ComponentScope = std::make_unique<Scope>(*this);
+    
+    if (CS.isDebugMode()) {
+      auto &log = getDebugLogger();
+      log << "(solving component #" << Index << '\n';
+
+      log.indent(CS.solverState->depth * 2 + 2);
+      log << "(type variables in scope = " << "[";
+      auto typeVars = CS.getTypeVariables();
+      PrintOptions PO;
+      PO.PrintTypesForDebugging = true;
+      interleave(typeVars, [&](TypeVariableType *typeVar) {
+                   Type(typeVar).print(log, PO);
+                 },
+                 [&] {
+                   log << ' ';
+                 });
+      log << "])" << '\n';
+
+      log.indent(CS.solverState->depth * 2 + 2);
+      log << "(initial state: " << '\n';
+    }
 
     // If this component has orphaned constraint attached,
     // let's return it to the graph.