RequirementMachine: Print variadic generic parameter symbols in debug output

Author: slavapestov

lib/AST/RequirementMachine/RequirementMachine.cpp

@@ -556,8 +556,11 @@ void RequirementMachine::dump(llvm::raw_ostream &out) const {
     out << " ]";
   } else {
     out << "fresh signature <";
-    for (auto paramTy : Params)
-      out << " " << Type(paramTy);
+    for (auto paramTy : Params) {
+      out << " " << paramTy;
+      if (paramTy->castTo<GenericTypeParamType>()->isTypeSequence())
+        out << "…";
+    }
     out << " >";
   }
   out << "\n";

lib/AST/RequirementMachine/Symbol.cpp

@@ -675,9 +675,15 @@ void Symbol::dump(llvm::raw_ostream &out) const {
     return;
   }
 
-  case Kind::GenericParam:
-    out << Type(getGenericParam());
+  case Kind::GenericParam: {
+    auto *gp = getGenericParam();
+    if (gp->isTypeSequence()) {
+      out << "(" << Type(gp) << "…)";
+    } else {
+      out << Type(gp);
+    }
     return;
+  }
 
   case Kind::Layout:
     out << "[layout: ";