AST: Set PrintForSIL when printing replacement types in SubstitutionMaps

This prints opened existentials with @opened("...") rather than just printing
the erased existential type.

Author: slavapestov

lib/AST/ASTDumper.cpp

@@ -3204,8 +3204,11 @@ static void dumpSubstitutionMapRec(
     out << "substitution ";
     genericParams[i]->print(out);
     out << " -> ";
-    if (replacementTypes[i])
-      replacementTypes[i]->print(out);
+    if (replacementTypes[i]) {
+      PrintOptions opts;
+      opts.PrintForSIL = true;
+      replacementTypes[i]->print(out, opts);
+    }
     else
       out << "<<unresolved concrete type>>";
     printParen(')');