Merge pull request swiftlang#20093 from xedin/print-expr-after-solution

[ConstraintSystem] NFC: Print type-checked expression after all callb…

Author: xedin

lib/Sema/TypeCheckConstraints.cpp

@@ -2038,13 +2038,6 @@ Type TypeChecker::typeCheckExpression(Expr *&expr, DeclContext *dc,
     return Type();
   }
 
-  if (getLangOpts().DebugConstraintSolver) {
-    auto &log = Context.TypeCheckerDebug->getStream();
-    log << "---Type-checked expression---\n";
-    result->dump(log);
-    log << "\n";
-  }
-
   // If there's a listener, notify it that we've applied the solution.
   if (listener) {
     result = listener->appliedSolution(solution, result);
@@ -2053,6 +2046,13 @@ Type TypeChecker::typeCheckExpression(Expr *&expr, DeclContext *dc,
     }
   }
 
+  if (getLangOpts().DebugConstraintSolver) {
+    auto &log = Context.TypeCheckerDebug->getStream();
+    log << "---Type-checked expression---\n";
+    result->dump(log);
+    log << "\n";
+  }
+
   // Unless the client has disabled them, perform syntactic checks on the
   // expression now.
   if (!cs.shouldSuppressDiagnostics() &&