Merge pull request #60039 from amritpan/improve-type-variable-printing-edit

[ConstraintSystem] Edit Type Variable printing.

Author: xedin

lib/Sema/TypeCheckConstraints.cpp

@@ -54,7 +54,9 @@ using namespace constraints;
 #pragma mark Type variable implementation
 
 void TypeVariableType::Implementation::print(llvm::raw_ostream &OS) {
-  getTypeVariable()->print(OS, PrintOptions());
+  PrintOptions PO;
+  PO.PrintTypesForDebugging = true;
+  getTypeVariable()->print(OS, PO);
 
   SmallVector<TypeVariableOptions, 4> bindingOptions;
   if (canBindToLValue())